1990, ISBN: 9780387972336
Edition reliée
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… Plus…
amazon.de fachbuecher-weltversand Frais d'envoiAuf 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) - edition reliée, livre de poche
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 Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - edition reliée, livre de poche
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 Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - edition reliée, livre de poche
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) - Livres de poche
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Biblio.co.uk |
1990, ISBN: 9780387972336
Edition reliée
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… Plus…
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - edition reliée, livre de poche2020, 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) - edition reliée, livre de poche
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) - edition reliée, livre de poche
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) - Livres de poche
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
EAN (ISBN-13): 9780387972336
ISBN (ISBN-10): 0387972331
Version reliée
Livre de poche
Date de parution: 1990
Editeur: Springer
Livre dans la base de données depuis 2007-12-18T00:55:27+01:00 (Zurich)
Page de détail modifiée en dernier sur 2021-07-22T14:38:22+02:00 (Zurich)
ISBN/EAN: 0387972331
ISBN - Autres types d'écriture:
0-387-97233-1, 978-0-387-97233-6
Autres types d'écriture et termes associés:
Auteur du livre: fitting
Titre du livre: theorem proving, logic computer science
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...