Bertot, Yves et. al. (Eds.): Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690. Berlin: Springer., 1999.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Bertot, Yves et. al. (Eds.):
Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Berlin: Springer., 1999.
ISBN/EAN: 9783540664635

gefunden im Sachgebiet: Informatik, Hardware, Software

VIII, 358 S. with fig and tables; 24 cm, Paperback.

Like new. Shrink wrapped. / Wie neu. In Folie verschweißt.

[SW: Automatisches Beweisverfahren ; Kongress ; Nizza ; HOL ; Kongress ; Nizza, Informatics, Datenverarbeitung]
Automatisches, Beweisverfahren, Kongress, Nizza, Kongress, Nizza, Informatics, Datenverarbeitung

EUR12,50
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 29 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Bertot, Yves et. al. (Eds.): Theorem proving in higher order logics: 12th international conference; ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Lenski, Wolfgang (Ed.):
Logic versus approximation. Essays dedicated to Michael M. Richter on the occasion of his 65th birthday. (=Lecture notes in computer science ; 3075).

EUR 24,40
Details zum Buch...

Abts, Dietmar:
Grundkurs JAVA : Von den Grundlagen bis zu Datenbank- und Netzanwendungen.

EUR 26,70
Details zum Buch...