Handbook of automated reasoning, vol.2
Robinson A., Voronkov A. (eds.)
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.
ক্যাটাগোরিগুলো:
সাল:
2001
প্রকাশক:
Elsevier
ভাষা:
english
পৃষ্ঠা:
1171
ISBN 10:
0444508120
ISBN 13:
9783827410054
ফাইল:
DJVU, 15.36 MB
IPFS:
,
english, 2001