Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Bernhard Gramlich
Themen in »Frontiers of Combining Systems«
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
Stimmen zu »Frontiers of Combining Systems«
Details
ISBN: 9783540290513
Verlag: Springer Berlin
Erscheinung: 12.09.2005