01314nmm a22003495u 4500
20210208141010.0
101221s2005 xx j eng d
9783540322757
QA76.63
B33 2005
Baader, Franz.
Logic for Programming, Artificial Intelligence, and Reasoning
[electronic resource] :
11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
by Franz Baader, Andrei Voronkov.
1a ed.
Berlin, Heidelberg :
Springer-Verlag Berlin Heidelberg,
2005.
v.: digital
Lecture Notes in Computer Science,
0302-9743 ;
3452
Computer science
Software engineering
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Programming Techniques
Voronkov, Andrei.
SpringerLink (Online service)
Springer eBooks
http://dx.doi.org/10.1007/b106931
lcc
LIE
0
0
lcc
0
0
DIGITAL
DIGITAL
COLDIG
2021-02-02
1a ed.
BDIG00010705
QA76.63 B33 2005
BDIG00010705
2021-02-02 00:00:00
1
http://dx.doi.org/10.1007/b106931
1.00
2021-02-02
LIE
SpringerLink
CNE
22165
22165