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
Prehofer, Christian: Solving higher order equations
: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00
Quelle: DNB
Vingron, Shimon Peter: Switching theory
: insight through predicate logic / Shimon P. Vingron. - Berlin : Springer, 2004. - 428 S. : graph. Darst.; 25 cm - (Engineering online library)
ISBN 978-3-540-40343-2 / 3-540-40343-4 Pp. : EUR 106.95, sfr 155.00
Literaturverz. S. 411 - 413
Quelle: DNB
