Recherche
6 résultat(s) · 34 ms
Recherche en cours…
Term indexing
Peter Graf
1996
Computational logic
1991
First-order logic and automated theorem proving
Melvin Chris Fitting
1990
A proof theory for general unification
Wayne Snyder
1991
A computational logic handbook
Robert S. Boyer, Strother J. Moore
1988
Proof theory and automated deduction
Jean Goubault-Larrecq, Ian Mackie
1997