Descrição:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Foto de Stock: A capa pode ser diferente.
Handbook of Automated Reasoning: Volume I Capa dura - 2001 - 1st Edição
por Andrei Voronkov (Editor); Alan J. Robinson (Editor)
Primeira linha
With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties.
Detalhes
- Título Handbook of Automated Reasoning: Volume I
- Autor Andrei Voronkov (Editor); Alan J. Robinson (Editor)
- Encadernação Capa dura
- Número da edição 1st
- Edição 1
- Páginas 996
- Volumes 1
- Idioma ENG
- Editorial North-Holland
- Data de publicação 2001-06-21
- Ilustrado Sim
- Features Bibliography, Illustrated, Index
- ISBN 9780444829498 / 0444829490
- Peso 3.9 libras (1.77 kg)
- Dimensão 9.61 x 6.69 x 2.06 in. (24.41 x 16.99 x 5.23 cm)
- Library of Congress subjects Automatic theorem proving, Qualitative reasoning
- Número da Biblioteca do Congresso dos Estados Unidos 2001090839
- Dewey Decimal Code 511.3
Mais exemplares à venda
Foto de Stock: A capa pode ser diferente.
Handbook of Automated Reasoning
por A. Robinson
- Novo
- Capa dura
- Condição
- Novo
- Encadernação
- Hardcover
- ISBN 10 / ISBN 13
- 9780444829498 / 0444829490
- Quantidade Disponível
- 543
- Livreiro
-
Uxbridge, Greater London, United Kingdom
- Preço do item
-
€ 199,94€ 9,56 frete para USA
Mostrar detalhes
Preço do item
€ 199,94
€ 9,56
frete para USA
Foto de Stock: A capa pode ser diferente.
Handbook of Automated Reasoning
por Andrei Voronkov et Alan J.A. Robinson
- Usado
- Muito Bom
- Capa dura
- Condição
- Usado - Muito Bom
- Encadernação
- Hardcover
- ISBN 10 / ISBN 13
- 9780444829498 / 0444829490
- Quantidade Disponível
- 1
- Livreiro
-
Morangis, France
- Preço do item
-
€ 158,17€ 11,35 frete para USA
Mostrar detalhes
Descrição:
North-Holland, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Preço do item
€ 158,17
€ 11,35
frete para USA