Nerode, Anil: Logic for applications
/ Anil Nerode ; Richard A. Shore. - New York : Springer, 1993. - XVII, 365 S.; 25 cm - (Texts and monographs in computer science)
ISBN 978-3-540-94129-3 / 3-540-94129-0 Pp. : DM 70.00
Literaturverz. S. 329 - 354
Quelle: DNB
Schöning, Uwe: Logic for computer scientists
/ Uwe Schöning. - Boston : Birkhäuser, 1989. - 166 S.; 24 cm - (Progress in computer science and applied logic; 8)
ISBN 978-3-7643-3453-6 / 3-7643-3453-3 geb. : sfr 48.00
Literaturverz. S. 155 - 159
Quelle: DNB
Logics in AI
: proceedings / European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 - 14, 1990. J. van Eijck (ed.). - Berlin : Springer, 1991. - IX, 561 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 478 : Lecture notes in artificial intelligence)
ISBN 978-3-540-53686-4 / 3-540-53686-8 kart. : DM 75.00
Literaturangaben
Quelle: DNB
Logics in AI
: proceedings / European Workshop JELIA '92, Berlin, Germany, September 7 - 10, 1992. D. Pearce ; G. Wagner (ed.). - Berlin : Springer, 1992. - VIII, 410 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 633 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55887-3 / 3-540-55887-X kart. : DM 80.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: proceedings / European Workshop JELIA '94, York, UK, September 5 - 8, 1994 / Craig MacNish ... (ed.). - Berlin : Springer, 1994. - IX, 413 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 838 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58332-5 / 3-540-58332-7 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '96, Évora, Portugal, September 30 - October 3, 1996 / José Júlio Alferes ... (ed.). - Berlin : Springer, 1996. - IX, 416 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1126 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61630-6 / 3-540-61630-6 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Bolinger, Raphael: Logik - eine Einführung
/ Raphael Bolinger. - [1. Auflage] - Haan-Gruiten : Verlag Europa-Lehrmittel Nourney, Vollmer GmbH & Co., 2019. - VII, 208 Seiten; 23 cm, 342 g - (Edition Harri Deutsch)
ISBN 978-3-8085-5906-2 / 3-8085-5906-3 Broschur : EUR 19.80 (DE), EUR 19.80 (DE)
Quelle: DNB
Schöning, Uwe: Logik für Informatiker
/ von Uwe Schöning. - 4., überarb. Aufl. - Heidelberg : Spektrum, Akad. Verl., 1995. - 207 S.; 21 cm - (Reihe Informatik)
ISBN 978-3-86025-684-8 / 3-86025-684-X kart. : DM 29.80
Literaturverz. S. 197 - 201
Quelle: DNB
Dassow, Jürgen: Logik für Informatiker
/ Jürgen Dassow. - 1. Aufl. - Stuttgart : Teubner, 2005. - 177 S.; 24 cm - (Lehrbuch : Mathematik)
ISBN 978-3-519-00518-6 / 3-519-00518-2 kart. : EUR 22.90
Quelle: DNB Verlagsmeldungen
Heinemann, Bernhard: Logik für Informatiker
: eine Einführung / von Bernhard Heinemann und Klaus Weihrauch. - Stuttgart : Teubner, 1991. - VIII, 239 S.; 23 cm - (Leitfäden und Monographien der Informatik)
ISBN 978-3-519-02248-0 / 3-519-02248-6 kart. : DM 36.00
Literaturverz. S. 229 - 232
Quelle: DNB
