Beedgen, Rainer: "Elemente" der Informatik
: ausgewählte mathematische Grundlagen für Mathematiker und Wirtschaftsinformatiker / Rainer Beedgen. - Braunschweig : Vieweg, 1993. - X, 209 S. : graph. Darst.; 23 cm
ISBN 978-3-528-05237-9 / 3-528-05237-6 kart. : DM 34.00
Quelle: DNB
Straubing, Howard: Finite automata, formal logic, and circuit complexity
/ Howard Straubing. - Boston : Birkhäuser, 1994. - XII, 226 S.; 25 cm - (Progress in theoretical computer science; 11)
ISBN 978-3-7643-3719-3 / 3-7643-3719-2 Pp. : sfr 78.00
Literaturverz. S. 217 - 222
Quelle: DNB
Czayka, Lothar: Formale Logik und Wissenschaftsphilosphie
: Einführung für Wirtschaftswissenschaftler / von Lothar Czayka. - München : Oldenbourg, 1991. - VI, 166 S. : graph. Darst.; 24 cm
ISBN 978-3-486-20987-7 / 3-486-20987-6 kart.
Literaturverz. S. 156 - 162
Quelle: DNB
Czayka, Lothar: Formale Logik und Wissenschaftsphilosphie
: Einführung für Wirtschaftswissenschaftler / von Lothar Czayka. - 2., erw. Aufl. - München : Oldenbourg, 2000. - VI, 186 S. : graph. Darst.; 24 cm
ISBN 978-3-486-25434-1 / 3-486-25434-0 kart. : DM 39.80, EUR 20.35
Literaturverz. S. 177 - 182
Quelle: DNB
Siefkes, Dirk: Formalisieren und beweisen
: Logik für Informatiker / Dirk Siefkes. - Braunschweig : Vieweg, 1990. - XIII, 259 S.; 23 cm
ISBN 978-3-528-04757-3 / 3-528-04757-7 kart. : DM 39.80
Literaturverz. S. 245 - 252
Quelle: DNB
Siefkes, Dirk: Formalisieren und beweisen
: Logik für Informatiker / Dirk Siefkes. - 2., verb. Aufl. - Braunschweig : Vieweg, 1992. - XIII, 259 S. : graph. Darst.; 23 cm
ISBN 978-3-528-14757-0 / 3-528-14757-1 kart. : DM 39.80
Literaturverz. S. 245 - 253
Quelle: DNB
Foundations of intelligent systems
: 9th international symposium ; proceedings / ISMIS '96, Zakopane, Poland, June 9 - 13, 1996. Zbigniew W. Raś ; Maciek Michalewicz (ed.). - Berlin : Springer, 1996. - XI, 664 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1079 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61286-5 / 3-540-61286-6 kart. : DM 126.00
Literaturangaben
Quelle: DNB
Frontiers of combining systems
: 4th international workshop ; proceedings / FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002. A. Armando (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2309 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45988-0
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: 6th international symposium ; proceedings / FroCoS 2007, Liverpool, UK, September 10 - 12, 2007. Boris Konev ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4720 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74621-8
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: 5th international workshop ; proceedings / FroCoS 2005, Vienna, Austria, September 19 - 21, 2005. Bernhard Gramlich (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3717)
ISBN 978-3-540-31730-2
Lizenzpflichtig
Quelle: DNB
