Suchfeld einblenden
Person Bürckert, Hans-Jürgen
1 Treffer
Seite < 1 >
Bürckert, Hans-Jürgen: A resolution principle for a logic with restricted quantifiers
/ H.-J. Bürckert. - Berlin : Springer, 1991. - X, 116 S. : Ill.; 25 cm - (Lecture notes in computer science; 568 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55034-1 / 3-540-55034-8 kart. : DM 29.50
Quelle: DNB
Seite < 1 >
