Decision procedures and model building or how to improve logical information in automated deduction

Authors
Leitsch, A
Citation
A. Leitsch, Decision procedures and model building or how to improve logical information in automated deduction, LECT N A I, 1761, 2000, pp. 62-79
Citations number
25
Categorie Soggetti
Current Book Contents
Journal title
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS → ACNP
ISSN journal
03029743
Volume
1761
Year of publication
2000
Pages
62 - 79
Database
ISI
SICI code
0302-9743(2000)1761:<62:DPAMBO>2.0.ZU;2-Y