TY - DATA AU - Gramlich,Bernhard ED - SpringerLink (Online service) TI - Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540317302 AV - QA9.A1 G73 2005 PY - 2005/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Software engineering KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages KW - Programming Techniques KW - Software Engineering UR - http://dx.doi.org/10.1007/11559306 ER -