Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. Willem-Paul de Roever ... (ed.). - Berlin : Springer, 1998. - 646 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1536)
ISBN 978-3-540-65493-3 / 3-540-65493-3 kart. : DM 118.00
Literaturangaben
Quelle: DNB
Compositionality
: the significant difference ; international symposium ; revised lectures / COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. W.-P. de Roever ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1536)
ISBN 978-3-540-49213-9
Lizenzpflichtig
Quelle: DNB
Savigny, Eike von: Grundkurs im logischen Schliessen
: Übungen zum Selbststudium / Eike von Savigny. - 3., durchges. Aufl. - Göttingen : Vandenhoeck und Ruprecht, 1993. - 204 S.; 19 cm - (Kleine Vandenhoeck-Reihe; 1504)
ISBN 978-3-525-33502-4 / 3-525-33502-4 kart. : DM 17.80
Quelle: DNB
Nait Abdallah, Areski: The logic of partial information
/ Areski Nait Abdallah. - Berlin : Springer, 1995. - XXV, 715 S.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-56583-3 / 3-540-56583-3 Pp. : DM 148.00
Literaturverz. S. 707 - 711
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA 2000, Málaga, Spain, September/October 2000. M. Ojeda-Aciego ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1919 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40006-6
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: 10th European conference ; proceedings / JELIA 2006, Liverpool, UK, September 13 - 15, 2006. Michael Fisher ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39627-7
Quelle: DNB
Logics in artificial intelligence
: 9th European conference ; proceedings / JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004. José Júlio Alferes ; João Leite (ed.). - Berlin : Springer, 2004. - XIV, 744 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3229 : Lecture notes in artificial intelligence)
ISBN 978-3-540-23242-1 / 3-540-23242-7 kart. : EUR 89.88 (freier Pr.), sfr 142.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Dowek, Gilles: Logik
/ Gilles Dowek. Aus dem Franz. von Rudolf Brenner. - Dt. Erstveröff. - Bergisch Gladbach : BLT, 1998. - 124 S. : Ill., graph. Darst.; 18 cm - (Domino; Bd. 11)
ISBN 978-3-404-93011-1 / 3-404-93011-8 kart. : DM 12.90, S 94.00
Literaturverz. S. 118 - 120
Quelle: DNB
Mechanizing mathematical reasoning
: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift] / Dieter Hutter ; Werner Stephan (ed.). - Berlin : Springer, 2005. - IX, 563 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2605 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25051-7 / 3-540-25051-4 kart. : EUR 69.55 (freier Pr.), sfr 115.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Qualitative and quantitative practical reasoning
: proceedings / First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997. Dov Gabbay ... (ed.). - Berlin : Springer, 1997. - X, 620 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1244 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63095-1 / 3-540-63095-3 kart. : DM 122.00
Literaturangaben
Quelle: DNB
