Author: Štěpán, Jan

Š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
Š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
Štěpán, Jan: Individualised normative logic. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 28 (1989), issue 1, pp. 265-275
Štěpán, Jan: Time conditional propositions. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 27 (1988), issue 1, pp. 355-363

Partner of