Frontiers of combining systems
: third international workshop ; proceedings / FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ; Christophe Ringeissen (ed.). - Berlin : Springer, 2000. - X, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1794 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67281-4 / 3-540-67281-8 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Peano, Giuseppe: Geometric calculus
: according to the Ausdehnungslehre of H. Grassmann / Giuseppe Peano. Transl. by Lloyd C. Kannenberg. - Boston : Birkhäuser, 2000. - XV, 150 S.; 24 cm
ISBN 978-3-7643-4126-8 / 3-7643-4126-2 Pp. : sfr 198.00
Quelle: DNB
Bocheński, Joseph M.: Gottes Dasein und Wesen
: logische Studien zur Summa Theologiae I,qq.2-II / Joseph M. Bocheński. - München : Philosophia-Verl., 2003. - 167 S.; 23 cm, 700 gr. - (Analytica)
ISBN 978-3-88405-081-1 / 3-88405-081-8 Gewebe : EUR 42.00
Literaturverz. S. 157 - 163
Quelle: DNB
Quine, W. V.: Grundzüge der Logik
/ Willard VanOrman Quine. Übers. von Dirk Siefkes. - 8. Aufl. - Frankfurt am Main : Suhrkamp, 1993. - 343 S. : graph. Darst.; 18 cm - (Suhrkamp-Taschenbuch Wissenschaft; 65)
ISBN 978-3-518-27665-5 / 3-518-27665-4 kart. : DM 24.00
Literaturverz. S. 331 - 335
Quelle: DNB
Informatik und Mathematik
: [Professor Dr. Dr. h.c. mult. Friedrich L. Bauer zum 65. Geburtstag] / Manfred Broy (Hrsg.). - Berlin : Springer, 1991. - XIV, 450 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-54108-0 / 3-540-54108-X Pp. : DM 148.00
Quelle: DNB
Lenke, Nils: Das Kommunikationsmodell der KI-Forschung
/ Nils Lenke. - 1. Aufl. - Aachen : Alano, Rader-Publ., 1991. - 170 S. : graph. Darst.; 21 cm - (Aachener Studien zur Semiotik und Kommunikationsforschung; Bd. 26)
ISBN 978-3-89399-113-6 / 3-89399-113-1 kart. : DM 38.00
Literaturverz. S. 162 - 170
Quelle: DNB
Kurt Gödel
: unpublished philosophical essays ; with a historico-philosophical introduction / ed. by Francisco A. Rodríguez-Consuegra. - Basel : Birkhäuser, 1995. - 235 S. : Ill.; 23 cm
ISBN 978-3-7643-5310-0 / 3-7643-5310-4 Pp. : sfr. 78.00
Literaturverz. S. 99 - 106
Quelle: DNB
Logical aspects of computational linguistics
: first international conference ; selected papers / LACL '96, Nancy, France, September 1996. Christian Retoré (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1328 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69631-5
Lizenzpflichtig
Quelle: DNB
Logical aspects of computational linguistics
: second international conference ; selected papers / LACL '97, Nancy, France, September 22 - 24, 1997. A. Lecomte ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1582 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48975-7
Lizenzpflichtig
Quelle: DNB
Logical aspects of computational linguistics
: third international conference ; selected papers / LACL '98, Grenoble, France, December 14 - 16, 1998. M. Moortgat (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2014 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45738-1
Lizenzpflichtig
Quelle: DNB
