Suchfeld einblenden
Schlagwort Instantiierung
1 Treffer
Seite < 1 >
Williams, James G.: Instantiation theory
: on the foundations of automated deduction / J. G. Williams. - Berlin : Springer, 1991. - VIII, 133 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 518 : Lecture notes in artificial intelligence)
ISBN 978-3-540-54333-6 / 3-540-54333-3 kart. : DM 29.50
Literaturverz. S. 128 - 133
Quelle: DNB
Seite < 1 >
