Janhunen, Tomi.
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / [electronic resource] : edited by Tomi Janhunen, Ilkka Niemelä. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6341 0302-9743 ; . - Lecture Notes in Computer Science, 6341 .
9783642156755
10.1007/978-3-642-15675-5 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Information systems.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet).
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Q334-342 TJ210.2-211.495
006.3
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings / [electronic resource] : edited by Tomi Janhunen, Ilkka Niemelä. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6341 0302-9743 ; . - Lecture Notes in Computer Science, 6341 .
9783642156755
10.1007/978-3-642-15675-5 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Information systems.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet).
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Q334-342 TJ210.2-211.495
006.3