Ir para o conteúdo

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
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
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 112,67
€ 9,58 frete para USA

Mostrar detalhes

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.
Preço do item
€ 112,67
€ 9,58 frete para USA
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
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...
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 3 de 5 estrelas de Biblio clientes.
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
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
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
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