Frontiers of Combining Systems
Publication year: 2005
ISBN: 978-3-540-31730-2
Internet Resource: Please Login to download book
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
Subject: Computer Science, AI logic, Isabelle, automated deduction, binary decision diagrams, classification, constraint programming, constraint solving, data structure, declarative programming, distributed systems, programming, proof theory, symbolic computation, theorem proving, verification
