Automated theorem proving in monadic predicate calculus
Štěpán, Jan
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 30 (1991), p. 273-283 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1991-01-01
Classification:  03B35,  68T15 
@article{120263,
     author = {Jan \v St\v ep\'an},
     title = {Automated theorem proving in monadic predicate calculus},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     volume = {30},
     year = {1991},
     pages = {273-283},
     zbl = {0748.68072},
     mrnumber = {1166442},
     language = {en},
     url = {http://dml.mathdoc.fr/item/120263}
}

Štěpán, Jan. Automated theorem proving in monadic predicate calculus. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 30 (1991) pp. 273-283. http://gdmltest.u-ga.fr/item/120263/

Coelho H.; Cotta J.C. Prolog by example, Springer-Verlag, Berlin Heidelberg, 1988. (1988) | Zbl 0649.68004

Štěpán J. Propositional Calculus Proving Methods in Prolog, Acta UPO 97 (1990), (to appear). (1990) | MR 1144841 | Zbl 0792.68165

Smullyan R.M. First Order Logic, (Slovak), Alfa, Bratislava, 1979. (1979)