About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Štěpán, Jan
Automated theorem proving in monadic predicate calculus. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 30 (1991), issue 1, pp. 273-283
MSC: 03B35, 68T15 | MR 1166442 | Zbl 0748.68072
References:
[1] Coelho H., Cotta J.C.: Prolog by example. Springer-Verlag, Berlin Heidelberg, 1988. Zbl 0649.68004
[2] Štěpán J.: Propositional Calculus Proving Methods in Prolog. Acta UPO 97 (1990), (to appear). MR 1144841 | Zbl 0792.68165
[3] Smullyan R.M.: First Order Logic. (Slovak), Alfa, Bratislava, 1979.
Partner of
EuDML logo