Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Armando, Alessandro (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Edition: 1st ed. 2002.
• Series: Lecture Notes in Artificial Intelligence ; 2309
• Subjects: Artificial intelligence.; Mathematical logic.; Artificial Intelligence.; Mathematical Logic and Formal Languages.

This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o?ered a c-...