AAAAAA

   
Results: 1-3 |
Results: 3
Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification
Authors: A.Degtyarev,A.Voronkov
Citation: A.degtyarev,a.voronkov, Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification, Journal of automated reasoning , 20(1/2), 1998, pp. 47-80
Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification
Authors: A.Voronkov
Citation: A.voronkov, Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification, Journal of automated reasoning , 21(2), 1998, pp. 205-231
The Anatomy of Vampire
Authors: A.Voronkov
Citation: A.voronkov, The Anatomy of Vampire, Journal of automated reasoning , 15(2), 1995, pp. 237-265
Risultati: 1-3 |