Placeholder text
Automated Reasoning
Only 1 item left in stock
Description
The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
704
Release Date:
2008-06-13
Publication Date:
2006-08-03
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3540371877
ISBN13:
9783540371878
GPSR Manufacturer Reference:
Weight:
1048 g
Height:
155 cm
Width:
235 cm
Thickness:
38 cm
Condition
Show more
Show less
Show more
Show less
Very good
Almost no signs of wear. Book pages have no markings, accessories are intact and all other media are in good condition.
€53,79