hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Verlag Springer
21571 Treffer
Seite < 1 ... 1183 1184 1185 1186 1187 1188 1189 ... 2158 >
Cover

Logic programming and nonmonotonic reasoning

: 7th international conference ; proceedings / LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004. Vladimir Lifschitz ; Ilkka Niemelä (ed.). - Berlin : Springer, 2004. - IX, 364 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2923 : Lecture notes in artificial intelligence)

ISBN 978-3-540-20721-4 / 3-540-20721-X kart. : EUR 53.50, sfr 86.00

Literaturangaben

Quelle: DNB

Cover

Logic programming and nonmonotonic reasoning

: 6th international conference ; proceedings / LPNMR 2001, Vienna, Austria, September 17 - 19, 2001. T. Eiter ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2173 : Lecture notes in artificial intelligence)

ISBN 978-3-540-45402-1

Lizenzpflichtig

Quelle: DNB

Cover

Logic programming and nonmonotonic reasoning

: 5th international conference ; proceedings / LPNMR '99, El Paso, Texas, USA, December 1999. M. Gelfond ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1730 : Lecture notes in artificial intelligence)

ISBN 978-3-540-46767-0

Lizenzpflichtig

Quelle: DNB

Cover

Logic programming and nonmonotonic reasoning

: 9th international conference ; proceedings / LPNMR 2007, Tempe, AZ, USA, May 15 - 17, 2007. Chitta Baral ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4483 : Lecture notes in artificial intelligence)

ISBN 978-3-540-72200-7

Lizenzpflichtig

Quelle: DNB

Cover

Logic programming and nonmonotonic reasoning

: 8th international conference ; proceedings / LPNMR 2005, Diamante, Italy, September 5 - 8, 2005. Chitta Baral ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3662 : Lecture notes in artificial intelligence)

ISBN 978-3-540-31827-9

Lizenzpflichtig

Quelle: DNB

Cover

Logic programming and nonmonotonic reasoning

: 4th international conference ; proceedings / LPNMR '97, Dagstuhl Castle, Germany, July 28 - 31, 1997. Jürgen Dix ... (ed.). - Berlin : Springer, 1997. - X, 452 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1265 : Lecture notes in artificial intelligence)

ISBN 978-3-540-63255-9 / 3-540-63255-7 kart. : DM 98.00

Literaturangaben

Quelle: DNB

Cover

Logic programming and nonmonotonic reasoning

: third international conference ; proceedings / LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. V. W. Marek ... (ed.). - Berlin : Springer, 1995. - VIII, 415 S.; 24 cm - (Lecture notes in computer science; Vol. 928 : Lecture notes in artificial intelligence)

ISBN 978-3-540-59487-1 / 3-540-59487-6 kart. : DM 86.00

Literaturangaben

Quelle: DNB

Cover

Logic programming in action

: proceedings / Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7 - 11, 1992. G. Comyn ... (ed.). - Berlin : Springer, 1992. - X, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 636 : Lecture notes in artificial intelligence)

ISBN 978-3-540-55930-6 / 3-540-55930-2 kart. : DM 66.00

Literaturangaben

Quelle: DNB

Cover

Logic program synthesis and transformation

: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 1997. N. E. Fuchs (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1463)

ISBN 978-3-540-49674-8

Lizenzpflichtig

Quelle: DNB

Cover

Logic program synthesis and transformation

: 6th international workshop ; proceedings / LOPSTR '96, Stockholm, Sweden, August 28 - 30, 1996. John Gallagher (ed.). - Berlin : Springer, 1997. - VI, 324 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 1207)

ISBN 978-3-540-62718-0 / 3-540-62718-9 kart. : DM 74.00

Literaturangaben

Quelle: DNB

Seite < 1 ... 1183 1184 1185 1186 1187 1188 1189 ... 2158 >
Projekte . Kooperationen