Furbach, Ulrich.
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / [electronic resource] : edited by Ulrich Furbach, Natarajan Shankar. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4130 0302-9743 ; . - Lecture Notes in Computer Science, 4130 .
9783540371885
10.1007/11814771 doi
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.
Q334-342 TJ210.2-211.495
006.3
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / [electronic resource] : edited by Ulrich Furbach, Natarajan Shankar. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4130 0302-9743 ; . - Lecture Notes in Computer Science, 4130 .
9783540371885
10.1007/11814771 doi
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.
Q334-342 TJ210.2-211.495
006.3