Tell your friends about this item:
Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
Price
₺ 2,495
excl. VAT
Ordered from remote warehouse
Expected delivery May 12 - 23
Our customers say:
Add to your iMusic wish list
Logical Foundations of Computer Science: Proceedings (International Symposium, Lfcs '94, St.petersburg, Russia, July 11-14, 1994 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.
408 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 8, 1994 |
| ISBN13 | 9783540581406 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 408 |
| Dimensions | 216 × 279 × 21 mm · 576 g |
| Editor | Matiyasevich, Yuri |
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Paperback Book) [Softcover Reprint of the Original 2nd Ed. 1997 edition] (2012)](https://imusic.b-cdn.net/images/item/original/550/9781461268550.jpg?anil-nerode-2012-logic-for-applications-texts-in-computer-science-paperback-book&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Hardcover Book) [2nd Ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/935/9780387948935.jpg?anil-nerode-1997-logic-for-applications-texts-in-computer-science-hardcover-book&class=scaled&v=1409851816)
