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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Analogrechner Bernd Ulmann / Book Hardback
common.buy 43 413 Ft
Viva el Tango!, für Klavier, m. Audio-CD. Bd.1 Diego Marcelo Collatti / Printed items Sheet music
common.buy 11 448 Ft
Gitarre Spielen MIT Lena Und Tom Andreas Schumann / Book Paperback
common.buy 6 318 Ft
Rauhnacht, 4 Audio-CD Volker Klüpfel / Audio Audio CD
common.buy 4 589 Ft
miniLÜK-Set / Game/Toy Game
common.buy 9 877 Ft
Le Douanier Rousseau Plazy / Book Paperback
common.buy 7 400 Ft

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 54 741 Ft
Transactions on Rough Sets IV James F. Peters / Book Paperback
common.buy 19 902 Ft
Emerging Technologies in Africa Matthew N. O. Sadiku / Book Paperback
common.buy 25 633 Ft

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?