Frontiers of Combining Systems
Subtitle: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 31, 2002
Language: eng
Format: Paperback
Number of pages: 263
ISBN-13: 9783540433811
Subjects: Artificial intelligence; Mathematics; General; Computer Logic; Mathematical And Symbolic Logic; Computers; Computer Books: General; Logic, Symbolic and mathematical; Logic; Artificial Intelligence - General; AI Logic; Automated Deduction; BDD; Binary Decision Diagrams; Computers / Artificial Intelligence; Constraint Solving; Decision Procedures; Declarative Programming; Elimination; Computer Science; Congresses; Logic, Symbolic and mathematic