Applied semantics
: advanced lectures / G. Barthe ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2395)
ISBN 978-3-540-45699-5
Lizenzpflichtig
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
Logical aspects of computational linguistics
: 4th international conference ; proceedings / LACL 2001, Le Croisic, France, June 27 - 29, 2001. P. de Groote ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2099 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48199-7
Lizenzpflichtig
Quelle: DNB
Object oriented programming
: 13th European conference ; proceedings / ECOOP '99, Lisbon, Portugal, June 14 - 18, 1999. Rachid Guerraoui (ed.). - Berlin : Springer, 1999. - XIII, 528 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1628)
ISBN 978-3-540-66156-6 / 3-540-66156-5 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Object oriented programming
: 13th European conference ; proceedings / ECOOP '99, Lisbon, Portugal, June 1999. R. Guerraoui (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1628)
ISBN 978-3-540-48743-2
Lizenzpflichtig
Quelle: DNB
Principia mathematica
: Vorwort und Einleitungen / Alfred North Whitehead ; Bertrand Russell. Übers. von Hans Mokre. Mit einem Beitr. von Kurt Gödel. - 3. Aufl. - Frankfurt am Main : Suhrkamp, 1994. - XXXIV, 167 S.; 18 cm - (Suhrkamp-Taschenbuch Wissenschaft; 593)
ISBN 978-3-518-28193-2 / 3-518-28193-3 kart. : DM 16.80, S 131.00
Quelle: DNB
Programming languages and systems
: first Asian symposium / APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2895)
ISBN 978-3-540-40018-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 12th European Symposium on Programming, ESOP 2003 ... Warsaw, Poland, April 7 - 11, 2003. P. Degano (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2618)
ISBN 978-3-540-36575-4
Lizenzpflichtig
Quelle: DNB
