Fermüller, Christian G.
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / [electronic resource] : edited by Christian G. Fermüller, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6397 0302-9743 ; . - Lecture Notes in Computer Science, 6397 .
9783642162428
10.1007/978-3-642-16242-8 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Q334-342 TJ210.2-211.495
006.3
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / [electronic resource] : edited by Christian G. Fermüller, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6397 0302-9743 ; . - Lecture Notes in Computer Science, 6397 .
9783642162428
10.1007/978-3-642-16242-8 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Q334-342 TJ210.2-211.495
006.3