 |
Handbook of Automated Reasoning (vols. 1 & 2) by Robinson, John Alan & Voronkov, Andrei03 mar, 2022 Tags=[Automatic theorem proving, Qualitative reasoning, Artificial Intelligence] Amazon=[0444508139] Formats=[PDF] Google=[D10BswEACAAJ] ISBN=[9780444508133] LCN=[QA76.9.A96] OCLC=[162578801] Year=[2001]
|