Logic programming and nonmonotonic reasoning
: 7th international conference ; proceedings / LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004. Vladimir Lifschitz ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2923 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24609-1
Lizenzpflichtig
Quelle: DNB
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 Verlagsmeldungen
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
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
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
Materials informatics
: methods, tools, and applications / edited by Olexandr Isayev, Alexander Tropsha, Stefano Curtarolo. - Weinheim, Germany : Wiley-VCH, 2019. - X, 293 Seiten : Illustrationen; 25 cm, 756 g
ISBN 978-3-527-34121-4 / 3-527-34121-8 Festeinband : circa EUR 109.00 (DE) (freier Preis)
Quelle: DNB
Schneider, Roman: Mehrfach annotierte Textkorpora
: strukturierte Speicherung und Abfrage / Roman Schneider. - Tübingen : Narr Francke Attempto, 2019. - 315 Seiten : Illustrationen; 22 cm, 492 g - (Korpuslinguistik und interdisziplinäre Perspektiven auf Sprache; Bd. 8)
ISBN 978-3-8233-8286-7 / 3-8233-8286-1 Broschur : EUR 98.00 (DE), EUR 101.00 (AT), CHF 127.40 (freier Preis)
Quelle: DNB
Quintarelli, Elisa: Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)
ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50
Literaturverz. S. 129 - 134
Quelle: DNB Verlagsmeldungen
Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)
ISBN 978-3-540-24603-9
Lizenzpflichtig
Quelle: DNB
Multilingual information access for text, speech and images
: revised selected papers / 5th Workshop of the Cross Language Evaluation Forum, CLEF 2004, Bath, UK, September 15 - 17, 2004. Carol Peters ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3491)
ISBN 978-3-540-32051-7
Lizenzpflichtig
Quelle: DNB