hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Logischer Schluss
7 Treffer
Seite < 1 >
Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

Ü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

Seite < 1 >
Projekte . Kooperationen