Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Michel Parigot
Themen in »Logic for Programming and Automated Reasoning«
Action Automat Constraint automated reasoning complexity lambda calculus logic nonmonotonic reasoning programming proving theorem proving verification
Stimmen zu »Logic for Programming and Automated Reasoning«
Details
ISBN: 9783540444046
Verlag: Springer Berlin
Erscheinung: 31.07.2003