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
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
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
Über den Folgerungsbegriff in der aristotelischen Logik
/ hrsg. und mit einem Vorw. vers. von Albert Menne und Niels Öffenberger. - Hildesheim : Olms, 1982. - 220 S. : graph. Darst.; 21 cm - (Zur modernen Deutung der Aristotelischen Logik; Bd. 1)
ISBN 978-3-487-07265-4 / 3-487-07265-3 Gewebe : DM 48.00
Beitr. teilw. dt., teilw. engl., teilw. franz.
Quelle: DNB