Suchfeld einblenden
Schlagwort Auflösungsprinzip
1 Treffer
Seite < 1 >
Leitsch, Alexander: The resolution calculus
/ Alexander Leitsch. - Berlin : Springer, 1997. - VIII, 300 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 3-540-618821 Pp. : DM 58.00
Literaturverz. S. 289 - 293
Quelle: DNB
Seite < 1 >