Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Computer Science Logic

11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected Papers

Language EnglishEnglish
Book Paperback
Book Computer Science Logic Mogens Nielsen
Libristo code: 05274831
Publishers Springer, Berlin, November 1996
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Work... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Analogrechner Bernd Ulmann / Book Hardback
common.buy 111.40 €
Viva el Tango!, für Klavier, m. Audio-CD. Bd.1 Diego Marcelo Collatti / Printed items Sheet music
common.buy 29.56 €
Gitarre Spielen MIT Lena Und Tom Andreas Schumann / Book Paperback
common.buy 17.82 €
Rauhnacht, 4 Audio-CD Volker Klüpfel / Audio Audio CD
common.buy 11.84 €
miniLÜK-Set / Game/Toy Game
common.buy 25.61 €
Le Douanier Rousseau Plazy / Book Paperback
common.buy 20.85 €

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer Science Logic
Author Mogens Nielsen, Wolfgang Thomas
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 520
EAN 9783540645702
ISBN 3540645705
Libristo code 05274831
Publishers Springer, Berlin
Weight 684
Dimensions 156 x 234 x 27

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

England's Population Andrew Hinde / Book Hardback
common.buy 154.55 €
Transactions on Rough Sets IV James F. Peters / Book Paperback
common.buy 51.75 €
Emerging Technologies in Africa Matthew N. O. Sadiku / Book Paperback
common.buy 65.82 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?