Suchfeld einblenden
Person Fermüller, Christian G.
1 Treffer
Seite < 1 >
Resolution methods for the decision problem
/ C. Fermüller .... - Berlin : Springer, 1993. - VIII, 205 S.; 24 cm - (Lecture notes in computer science; 679 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56732-5 / 3-540-56732-1 kart. : DM 52.00
Literaturverz. S. 198 - 203
Quelle: DNB
Seite < 1 >
