Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /

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