TY -
GEN
AU - Williams, James G.
TI -
Instantiation Theory
On the Foundations of Automated Deduction
PB - Springer Berlin Heidelberg
SN - 9783540475613
KW - Algebra_xData processing
KW - Artificial intelligence
KW - Computer science
KW - Computer software
KW - Logic, Symbolic and mathematical
KW - Computer Science
KW - Instantiierung
PY - 1991
BT - Lecture Notes in Computer Science ; 518
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -