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

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

In den Warenkorb

Dieses Angebot wurde bereits 19 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

Löbel, Guido u.a.:
Löbel -Müller - Schmid: EDV Taschenlexikon. Hrsg. v. Peter Müller.

EUR 16,80
Details zum Buch...

Zeng, Zhigang and Jun Wang:
Advances in Neural Network Research and Applications. [Lecture Notes in Electrical Engineering, Vol. 67].

EUR 40,60
Details zum Buch...

Moss, Diana L.:
Network Access, Regulation and Antitrust. [The Economics of Legal Relationships, Vol. 8].

EUR 12,00
Details zum Buch...