Riel, Raphael van: Aussagen- und Prädikatenlogik
: eine Einführung / Raphael van Riel/Gottfried Vosgerau. - [1. Auflage] - Stuttgart : J.B. Metzler Verlag, 2018. - IX, 182 Seiten : Illustrationen; 24 cm, 299 g - (Lehrbuch)
ISBN 978-3-476-04564-5 / 3-476-04564-1 Broschur : EUR 19.99 (DE), EUR 20.55 (AT), CHF 21.00 (freier Preis)
Quelle: DNB
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
Börger, Egon: Berechenbarkeit, Komplexität, Logik
: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität / Egon Börger. - 3., verb. und erw. Aufl. - Braunschweig : Vieweg, 1992. - XX, 499 S. : graph. Darst.; 23 cm
ISBN 978-3-528-28928-7 / 3-528-28928-7 kart. : DM 72.00
Literaturverz. S. 423 - 451
Quelle: DNB
Meyer, Uwe: Glaube und Notwendigkeit
: eine Untersuchung zur Sprachphilosophie, zur Erkenntnistheorie und zur Philosophie des Geistes / Uwe Meyer. - Paderborn : Schöningh, 1998. - 350 S.; 24 cm - (Geist, Erkenntnis, Kommunikation)
ISBN 978-3-506-73240-8 / 3-506-73240-4 kart. : DM 78.00
Quelle: DNB
Dau, Frithjof: The logic system of concept graphs with negation and its relationship to predicate logic
/ Frithjof Dau. - Berlin : Springer, 2003. - XI, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2892 : Lecture notes in artificial intelligence)
ISBN 978-3-540-20607-1 / 3-540-20607-8 kart. : EUR 40.66
Literaturverz. S. 205 - 209
Quelle: DNB
The logic system of concept graphs with negation and its relationship to predicate logic
/ Frithjof Dau. - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2892 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40062-2
Lizenzpflichtig
Quelle: DNB
Mathematisch-strukturelle Grundlagen der Informatik
/ H. Ehrig .... - Berlin : Springer, 1999. - XIX, 534 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-63865-0 / 3-540-63865-2 kart. : DM 59.00, sfr 54.00, S 431.00
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
