Bücher online kaufen
Logical Foundations of Computer Science
-0 %
 |
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
PDF
Sofort lieferbar | Lieferzeit: Sofort lieferbar
Artikel-Nr:
9783540727347
Veröffentl:
2007
Einband:
PDF
Seiten:
516
Autor:
Sergei Artemov
Serie:
Lecture Notes in Computer Science
eBook Typ:
PDF
eBook Format:
PDF
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch
Beschreibung:
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.