• Anglický jazyk

Automated Reasoning

Autor: Natarajan Shankar

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers... Viac o knihe

Na objednávku

98.99 €

bežná cena: 109.99 €

O knihe

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 2006
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783540371878

Generuje redakčný systém BUXUS CMS spoločnosti ui42.