Die Antiquariatsbuchplattform von


Erweiterte Suche
Mein Konto    Warenkorb
Sie haben keine Artikel im Warenkorb.  

Artikelbeschreibung

Sandford, David M.
Using Sophisticated Models in Resolution Theorem Proving.( = Lecture Notes in Computer Science, 90) .
Springer Heidelberg, 1980.
ISBN/EAN: 0387102310

gefunden im Sachgebiet: Informatik, Hardware, Software

239 S. Paperback/ broschiert

Sehr guter Zustand/ very good Ex-Library. Brownish paper.

[SW: Künstliche Intelligenz Mathematik]
Künstliche, Intelligenz, Mathematik
EUR5,10
 inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage
In den Warenkorb
Dieses Angebot wurde bereits 57 mal aufgerufen

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

, Routledge:
Directory of EU Information Sources 2010. [The Europa Publications Eu Information Series].

EUR 45,60
Details zum Buch...		RRZN, Regionales Rechenzentrum für Niedersachsen, Universität Hannover:
Fortran 90 : ein Nachschlagewerk ; ANSI X3.198, ISO 1539, DIN EN 21539 - RRZN-Klassifikationsschlüssel: SPR.F90 1.

EUR 24,00
Details zum Buch...		Schaun, Dirk:
C++ 3.1: Der Einstieg in 20 Schritten. (= QuickStart).

EUR 8,40
Details zum Buch...		Raczynski, Stanislaw:
Modeling and Simulation : The Computer Science of Illusion.

EUR 28,70
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 5,10
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage
Preis umrechnen

Bestell-Nr.: 459176

In den Warenkorb


Versandziel anpassen

Anbieter

Antiquariat Thomas Haker GmbH & Co. KG, DE-10439 Berlin Prenzlauer Berg
Top
© Copyright 2004 - 2025 by Antikbuch24 - Alle Rechte vorbehalten.