Descrição:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automation of Reasoning : Classical Papers on Computational Logic 1957-1966.
![Automation of Reasoning: Classical Papers on Computational Logic 1957-1966](https://d3525k1ryd2155.cloudfront.net/f/544/819/9783642819544.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 Brochura - 2012
por J. Siekmann (Editor); G. Wrightson (Editor)
Detalhes
- Título Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
- Autor J. Siekmann (Editor); G. Wrightson (Editor)
- Encadernação Brochura
- Edição Softcover reprin
- Páginas 528
- Volumes 1
- Idioma ENG
- Editorial Springer
- Data de publicação 2012-01-10
- Features Bibliography
- ISBN 9783642819544 / 3642819540
- Peso 1.89 libras (0.86 kg)
- Dimensão 9.61 x 6.69 x 1.1 in. (24.41 x 16.99 x 2.79 cm)
- Dewey Decimal Code 005.131
Mais exemplares à venda
![Automation of Reasoning : Classical Papers on Computational Logic 1957-1966](https://d3525k1ryd2155.cloudfront.net/f/544/819/9783642819544.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Automation of Reasoning : Classical Papers on Computational Logic 1957-1966
por Jörg Siekmann
- Novo
- Condição
- Novo
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantidade Disponível
- 593
- Livreiro
-
Uxbridge, Greater London, United Kingdom
- Preço do item
-
€ 112,67€ 9,58 frete para USA
Mostrar detalhes
Preço do item
€ 112,67
€ 9,58
frete para USA
![Automation of Reasoning: Classical Papers on Computational Logic 1957-1966](https://d3525k1ryd2155.cloudfront.net/f/544/819/9783642819544.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
por Jorg Siekmann
- Novo
- Brochura
- Condição
- Novo
- Encadernação
- Paperback
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantidade Disponível
- 10
- Livreiro
-
Southport, Merseyside, United Kingdom
- Preço do item
-
€ 137,37€ 11,93 frete para USA
Mostrar detalhes
Descrição:
Paperback / softback. New. Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Preço do item
€ 137,37
€ 11,93
frete para USA
![Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation...](https://d3525k1ryd2155.cloudfront.net/f/544/819/9783642819544.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
por Siekmann, J. (Editor) / Wrightson, G. (Editor)
- Novo
- Brochura
- Condição
- Novo
- Encadernação
- Paperback
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantidade Disponível
- 2
- Livreiro
-
Exeter, Devon, United Kingdom
- Preço do item
-
€ 139,56€ 11,99 frete para USA
Mostrar detalhes
Descrição:
Springer-Verlag, 2012. Paperback. New. reprint edition. 537 pages. 9.61x6.61x1.50 inches.
Preço do item
€ 139,56
€ 11,99
frete para USA
![Automation of Reasoning](https://d3525k1ryd2155.cloudfront.net/f/544/819/9783642819544.IN.0.m.jpg)
Foto de Stock: A capa pode ser diferente.
Automation of Reasoning
- Novo
- Condição
- Novo
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Quantidade Disponível
- 4
- Livreiro
-
Woodside, New York, United States
- Preço do item
-
€ 137,29€ 3,78 frete para USA
Mostrar detalhes
Descrição:
Springer , pp. 546, . Papeback. New.
Preço do item
€ 137,29
€ 3,78
frete para USA