Ir para o conteúdo

Handbook of Automated Reasoning: Volume I
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

Handbook of Automated Reasoning
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 199,94
€ 9,56 frete para USA

Mostrar detalhes

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.
Preço do item
€ 199,94
€ 9,56 frete para USA
Handbook of Automated Reasoning
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
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