Ghilardi, Silvio.
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / [electronic resource] : edited by Silvio Ghilardi, Roberto Sebastiani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5749 0302-9743 ; . - Lecture Notes in Computer Science, 5749 .
9783642042225
10.1007/978-3-642-04222-5 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 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / [electronic resource] : edited by Silvio Ghilardi, Roberto Sebastiani. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5749 0302-9743 ; . - Lecture Notes in Computer Science, 5749 .
9783642042225
10.1007/978-3-642-04222-5 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