Frontiers of Combining Systems
Subtitle: 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: October 19, 2005
Language: eng
Format: Paperback
Number of pages: 321
ISBN-13: 9783540290513
Subjects: General Theory of Computing; Computers; Computers - General Information; Computer Books: Languages; Artificial Intelligence - General; Logic; AI logic; BDD; Computers / Artificial Intelligence; automated deduction; automated reasoning; binary decision diagrams; constraint solving; Programming - General; Programming - Software Development; Computer science; Congresses; Congráes; Informatique; Logic, Symbolic and mathematical