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

Article

First Page Preview
Štěpán, Jan
Propositional calculus proving methods in Prolog. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 29 (1990), issue 1, pp. 301-321
MSC: 03B05, 03B35, 68T15 | MR 1144841 | Zbl 0792.68165
References:
[1] Coelho H., Cotta J.C., Pereira L.M.: How to solve it with Prolog. Lisboa, LNEC 1985.
[2] Coelho H., Cotta J.C.: Prolog by example. Springer-Verlag 1988. Zbl 0649.68004
[3] Smullyan R.M.: First order logic. Bratislava, ALFA 1979.
Partner of
EuDML logo