Automated deduction in classical and non-classical logic

: selected papers / Ricardo Caferra ; Gernot Salzer (ed.). - Berlin : Springer, 2000. - VIII, 297 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1761 : Lecture notes in artificial intelligence)

ISBN 978-3-540-67190-9 / 3-540-67190-0 kart. : DM 82.00

Literaturangaben

Quelle: DNB

Automated deduction in classical and non-classical logic

: selected papers / Ricardo Caferra ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1761 : Lecture notes in artificial intelligence)

ISBN 978-3-540-46508-9

Lizenzpflichtig

Quelle: DNB

Eder, Elmar: Relative complexities of first order calculi

/ Elmar Eder. - Braunschweig : Vieweg, 1992. - 173 S.; 23 cm - (Artificial intelligence)

ISBN 978-3-528-05122-8 / 3-528-05122-1 kart. : DM 59.00

Literaturverz. S. 162 - 167

Quelle: DNB

Haddawy, Peter: Representing plans under uncertainty

: a logic of time, chance, and action / Peter Haddawy. - Berlin : Springer, 1994. - IX, 129 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 770 : Lecture notes in artificial intelligence)

ISBN 978-3-540-57697-6 / 3-540-57697-5 kart. : DM 39.00

Literaturverz. S. 126 - 129

Quelle: DNB

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