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
Amazon 
Barnes & Noble 
Bookshop.org
Чи бажаєте додати книгарню? Зв'яжіться з нами за support@z-lib.do
Конвертуйте файли
Більше результатів пошуку
Інші переваги 
![Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning Vol. 1 [...]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/5e66cf0595923208728031a4ab723beec1f5eaa217423fc2a1cbca9b29dca6aa.jpg)
