Artikeldetails
Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Bertot, Yves et. al. (Eds.):
|
Berlin: Springer., 1999. VIII, 358 S. with fig and tables; 24 cm, Paperback.
Sprache: Englisch
ISBN: 3540664637
EAN: 9783540664635
Bestell-Nr: 818986
Bemerkungen: Like new. Shrink wrapped. / Wie neu. In Folie verschweißt.
Schlagworte: Automatisches Beweisverfahren ; Kongress ; Nizza ; HOL ; Kongress ; Nizza, Informatics, Datenverarbeitung
EUR 18,02 (inkl. MwSt.)
Versandkostenfrei innerhalb Deutschlands
Aufgenommen mit whBOOK
Sicheres Bestellen - Order-Control geprüft!
Artikel eingestellt mit dem w+h GmbH eBay-Service
Daten und Bilder powered by Buchfreund (2024-05-06)