1990, ISBN: 9780387972336
Edição encadernada
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… mais…
amazon.de fachbuecher-weltversand Custos de envio: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) - encadernada, livro de bolso
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 Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - encadernada, livro de bolso
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 Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - encadernada, livro de bolso
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 Custos de envio:Versandkosten innerhalb der BRD. (EUR 2.90) Details... |
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - Livro de bolso
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Biblio.co.uk |
1990, ISBN: 9780387972336
Edição encadernada
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… mais…
Fitting, Melvin:
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science) - encadernada, livro de bolso2020, 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) - encadernada, livro de bolso
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) - encadernada, livro de bolso
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,]
no/na Biblio.co.uk
First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science) - Livro de bolso
1990, ISBN: 9780387972336
Springer-Verlag, Inc., 1990-01-01. Paperback. VeryGood. ., Springer-Verlag, Inc., 1990-01-01
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
EAN (ISBN-13): 9780387972336
ISBN (ISBN-10): 0387972331
Livro de capa dura
Livro de bolso
Ano de publicação: 1990
Editor/Editora: Springer
Livro na base de dados desde 2007-12-17T21:55:27-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2021-07-22T09:38:22-03:00 (Sao Paulo)
Número ISBN/EAN: 0387972331
Número ISBN - Ortografia alternativa:
0-387-97233-1, 978-0-387-97233-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: fitting
Título do livro: theorem proving, logic computer science
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...