Tinelli, Cesare.
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / [electronic resource] : edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6989 0302-9743 ; . - Lecture Notes in Computer Science, 6989 .
9783642243646
10.1007/978-3-642-24364-6 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Q334-342 TJ210.2-211.495
006.3
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / [electronic resource] : edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6989 0302-9743 ; . - Lecture Notes in Computer Science, 6989 .
9783642243646
10.1007/978-3-642-24364-6 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Q334-342 TJ210.2-211.495
006.3