Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Helene Kirchner
Themen in »Frontiers of Combining Systems«
AI logics Automated deduction Cut-elimination theorem constraint solving declarative programming logic mathematical logics optimization proof proving sequent calculus theorem proving
Stimmen zu »Frontiers of Combining Systems«
Details
ISBN: 9783540464211
Verlag: Springer Berlin
Erscheinung: 30.12.2006