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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Logical Foundations of Computer Science
3rd International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Language
English
English
Book
Paperback
This volume presents the refereed papers accepted for the international symposium Logical Foundation...
Full description
Libristo code: 05274393
?
125 b
125 b
51.33
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Customers also purchased
/
Paperback
21.19
€
/
Paperback
31.45
€
/
Paperback
24.92
€
/
Paperback
33.75
€
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Logical Foundations of Computer Science
Author
Yu. V. Matiyasevich, Anil Nerode
Language
English
English
Binding
Book - Paperback
Date of issue
1994
Number of pages
397
EAN
9783540581406
ISBN
3540581405
Libristo code
05274393
Publishers
Springer, Berlin
Weight
1
Dimensions
216 x 279 x 21
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 addressYou might also be interested in
/
Paperback
38.97
€
/
Paperback
19.19
€
/
Hardback
52.84
€
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?