Die Antiquariatsbuchplattform von


Erweiterte Suche
Mein Konto    Warenkorb
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
EUR11,00
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage
In den Warenkorb
Dieses Angebot wurde bereits 34 mal aufgerufen

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Asano, Takao a. o. (Edts.):
Computing and Combinatorics. 5th annual international conference, COCOON `99, Tokyo, Japan, July 26 - 28, 1999, Proceedings. (=Lecture notes in computer science ; Vol. 1627).

EUR 11,00
Details zum Buch...
Weber, Friedrich und Wolfgang Schlegel:
Simulations-Computer : Begleitbuch zu den Disketten für MS-DOS-Rechner mit CGA-Karte oder Herkules-Karte. (=Bausteine Informatik).

EUR 5,60
Details zum Buch...
Zou, Xukai, Byrav Ramamurthy and Spyros S. Magliveras:
Secure Group Communications Over Data Networks.

EUR 11,40
Details zum Buch...
Srivastava, Rajendra P. and Theodore J. Mock:
Belief Functions in Business Decisions. (=Studies in Fuzziness and Soft Computing Vol. 88).

EUR 22,50
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren

Sie sind auf der Suche nach einem anderen Titel?

Suchmöglichkeiten begrenzen auf


Oder durchsuchen Sie unsere Seite doch einmal mit Google!


Artikeldetails

EUR 11,00
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage
Preis umrechnen

Bestell-Nr.: 818986

In den Warenkorb


Versandziel anpassen

Anbieter

Antiquariat Thomas Haker GmbH & Co. KG, DE-10439 Berlin Prenzlauer Berg

Top