01372nmm a22003615u 4500
20210208141603.0
100301s2008 xx j eng d
9783540894391
QA76.63
C47 2008
Cervesato, Iliano.
Logic for Programming, Artificial Intelligence, and Reasoning
[electronic resource] :
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
1a ed.
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
v.: digital
Lecture Notes in Computer Science,
0302-9743 ;
5330
Computer science
Software engineering
Logic design
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Programming Techniques
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Veith, Helmut.
Voronkov, Andrei.
SpringerLink (Online service)
Springer eBooks
http://dx.doi.org/10.1007/978-3-540-89439-1
lcc
LIE
0
0
lcc
0
0
DIGITAL
DIGITAL
COLDIG
2021-02-02
1a ed.
BDIG00010708
QA76.63 C47 2008
BDIG00010708
2021-02-02 00:00:00
1
http://dx.doi.org/10.1007/978-3-540-89439-1
1.00
2021-02-02
LIE
SpringerLink
CNE
15104
15104