ENGLISH

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

By Hélène Kirchner , Alexander Bockmayr , Friedrich Eisenbrand (auth.) , Christophe Ringeissen (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2000
ISBN
3540672818, 9783540672814
DOI
10.1007/10720084
Open Library ID
OL18139349M
Language
english
Format
PDF
Filesize
3 MB (3052453 bytes)
Series
Lecture Notes in Computer Science 1794 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
298\299
Library
Kolxo3
Time added
2011-01-08 23:22:23
Artificial Intelligence (incl. Robotics); Mathemat

Description

This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000. The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories.

Similar books