1990, ISBN: 9780387972336
Gebundene Ausgabe
Springer, Gebundene Ausgabe, Auflage: 1, 257 Seiten, Publiziert: 1990-04-06T00:00:01Z, Produktgruppe: Buch, 2.14 kg, Verkaufsrang: 41433, Informatik, IT-Ausbildung & -Berufe, Computer & I… Mehr…
amazon.de fachbuecher-weltversand Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebunden oder broschiert
2020, ISBN: 0387972331
38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe 242 Seiten Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / gebraucht; sehr gut, [PU:Springer,]
Achtung-Buecher.de Mosakowski GbR, 61197 Florstadt Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebunden oder broschiert
2020, ISBN: 0387972331
38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe 242 Seiten Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / 2, [PU:Springer,]
Achtung-Buecher.de Mosakowski GbR, 61197 Florstadt Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebunden oder broschiert
2020, ISBN: 9780387972336
242 Seiten 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / Versand D: 2,90 EUR , [PU:Springer,]
buchfreund.de |
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - Taschenbuch
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Biblio.co.uk |
1990, ISBN: 9780387972336
Gebundene Ausgabe
Springer, Gebundene Ausgabe, Auflage: 1, 257 Seiten, Publiziert: 1990-04-06T00:00:01Z, Produktgruppe: Buch, 2.14 kg, Verkaufsrang: 41433, Informatik, IT-Ausbildung & -Berufe, Computer & I… Mehr…
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebunden oder broschiert2020, ISBN: 0387972331
38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe 242 Seiten Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / gebraucht; sehr gut, [PU:Springer,]
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebunden oder broschiert
2020
ISBN: 0387972331
38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe 242 Seiten Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / 2, [PU:Springer,]
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebunden oder broschiert
2020, ISBN: 9780387972336
242 Seiten 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe ex Library Book / aus einer wissenschafltichen Bibliothek / Versand D: 2,90 EUR , [PU:Springer,]
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - Taschenbuch
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
EAN (ISBN-13): 9780387972336
ISBN (ISBN-10): 0387972331
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1990
Herausgeber: Springer
Buch in der Datenbank seit 2007-12-18T00:55:27+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-07-22T14:38:22+02:00 (Berlin)
ISBN/EAN: 0387972331
ISBN - alternative Schreibweisen:
0-387-97233-1, 978-0-387-97233-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: fitting
Titel des Buches: theorem proving, logic computer science
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781468403572 First-Order Logic and Automated Theorem Proving (Melvin Fitting)
- 9781468403572 First-Order Logic and Automated Theorem Proving (Melvin Fitting)
- 9781461223603 First-Order Logic and Automated Theorem Proving (Melvin Fitting)
- 9781461275152 First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (Fitting, Melvin)
- 9781468403596 First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) (Melvin Fitting)
- 9780387945934 First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (Fitting, Melvin)
< zum Archiv...