AAAAAA

   
Results: 1-3 |
Results: 3
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Authors: O.Arieli,A.Avron
Citation: O.arieli,a.avron, A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases, Journal of automated reasoning , 22(3), 1999, pp. 263-309
Gentzen-Type Systems, Resolution and Tableaux
Authors: A.Avron
Citation: A.avron, Gentzen-Type Systems, Resolution and Tableaux, Journal of automated reasoning , 10(2), 1993, pp. 265-282
Using Typed Lambda Calculus to Implement Formal Systems on a Machine
Authors: A.Avron,F.Honsell,I.A.Mason,R.Polack
Citation: A.avron,f.honsell,i.a.mason,r.polack, Using Typed Lambda Calculus to Implement Formal Systems on a Machine, Journal of automated reasoning , 9(3), 1992, pp. 309-354
Risultati: 1-3 |