1990, ISBN: 9780387972336
edizione con copertina rigida
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… Altro …
amazon.de fachbuecher-weltversand Costi di spedizione: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) - copertina rigida, flessible
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 Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - copertina rigida, flessible
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 Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - copertina rigida, flessible
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 Mosakowski GbR, 61197 Florstadt Costi di spedizione:Versandkosten innerhalb der BRD. (EUR 2.90) Details... |
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - edizione con copertina flessibile
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Biblio.co.uk |
1990, ISBN: 9780387972336
edizione con copertina rigida
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… Altro …
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - copertina rigida, flessible2020, 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) - copertina rigida, flessible
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) - copertina rigida, flessible
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) - edizione con copertina flessibile
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
EAN (ISBN-13): 9780387972336
ISBN (ISBN-10): 0387972331
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1990
Editore: Springer
Libro nella banca dati dal 2007-12-18T00:55:27+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2021-07-22T14:38:22+02:00 (Rome)
ISBN/EAN: 0387972331
ISBN - Stili di scrittura alternativi:
0-387-97233-1, 978-0-387-97233-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : fitting
Titolo del libro: theorem proving, logic computer science
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...