First-Order Logic and Automated Theorem Proving - Paperback - 2013
Melvin Fitting
Resumo
Year of publication: 2013
Pagination: 326 pages, biography
Format: Paperback
Serie: Texts in Computer Science
First-Order Logic and Automated Theorem Proving - Paperback...
Resumo
Year of publication: 2013
Pagination: 326 pages, biography
Format: Paperback
Serie: Texts in Computer Science
Publicidade
Avaliações dos nossos clientes
First-Order Logic and Automated Theorem Proving - Paperback - 2013
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag New York Inc.
- Dimensão
-
244 x 170 x 18
- Peso
-
681
- Colecção
-
Computer programming / software development
- Tema
-
Mathematical foundations|Computer programming / software development
- Origem
-
United States
- Edição
-
Softcover reprint of the original 2nd ed. 1996
- EAN
-
9781461275152
Publicidade
Publicidade