1990, ISBN: 9780387972336
gebonden uitgave
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… Meer...
amazon.de fachbuecher-weltversand Verzendingskosten: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) - gebonden uitgave, pocketboek
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 Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebonden uitgave, pocketboek
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 Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebonden uitgave, pocketboek
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 Verzendingskosten:Versandkosten innerhalb der BRD. (EUR 2.90) Details... |
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - pocketboek
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Biblio.co.uk |
1990, ISBN: 9780387972336
gebonden uitgave
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… Meer...
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - gebonden uitgave, pocketboek2020, 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) - gebonden uitgave, pocketboek
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) - gebonden uitgave, pocketboek
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) - pocketboek
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
EAN (ISBN-13): 9780387972336
ISBN (ISBN-10): 0387972331
Gebonden uitgave
pocket book
Verschijningsjaar: 1990
Uitgever: Springer
Boek bevindt zich in het datenbestand sinds 2007-12-18T00:55:27+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-07-22T14:38:22+02:00 (Amsterdam)
ISBN/EAN: 0387972331
ISBN - alternatieve schrijfwijzen:
0-387-97233-1, 978-0-387-97233-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: fitting
Titel van het boek: theorem proving, logic computer science
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
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)
< naar Archief...