Logic for programming, artificial intelligence, and reasoning [E-Book] : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / ed. by I. Cervesato ...
Cervesato, I., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540894384
9783540894391 (e-book)
Lecture notes in computer science ; 5330
Full Text
LEADER 01198cam a2200325 n 4500
001 229051
008 r2008
020 |a 9783540894384 
020 |a 9783540894391 (e-book) 
035 |a (Sirsi) a178489 
035 |a i9783540894391 
041 |a eng 
084 0 |a DMF - Software engineering  |2 ZB 
084 0 |a DYA - Artificial intelligence  |2 ZB 
245 0 0 |a Logic for programming, artificial intelligence, and reasoning  |h [E-Book] :   |b 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /   |c ed. by I. Cervesato ... 
260 |a Berlin :   |b Springer,   |c 2008  |e (Springer LINK) 
300 |a online resource 
490 0 |a Lecture notes in computer science ;  |v 5330 
500 |a englisch 
596 |a 1 
650 4 |a artificial intelligence 
650 4 |a logic design 
650 4 |a logic programming 
650 4 |a software engineering 
700 1 |a Cervesato, I.,   |e Hrsg. 
856 |u http://dx.doi.org/10.1007/978-3-540-89439-1  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
932 |a Springer EBook 2008 
949 |a XX(178489.1)  |w EBOOK  |c 1  |i 178489-1001  |l ELECTRONIC  |m ZB  |r Y  |s Y  |t E-BOOK  |u 25/3/2009  |1 ONLINE  |2 KONFERENZ