Previous |  Up |  Next


Title: Propositional calculus proving methods in Prolog (English)
Title: Metody dokazování teorémů výrokového počtu v prologu (Czech)
Author: Štěpán, Jan
Language: English
Journal: Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
ISSN: 0231-9721
Volume: 29
Issue: 1
Year: 1990
Pages: 301-321
Summary lang: Czech
Summary lang: Russian
Category: math
MSC: 03B05
MSC: 03B35
MSC: 68T15
idZBL: Zbl 0792.68165
idMR: MR1144841
Date available: 2009-01-29T15:36:53Z
Last updated: 2012-05-03
Stable URL:
Reference: [1] Coelho H., Cotta J.C., Pereira L.M.: How to solve it with Prolog.Lisboa, LNEC 1985.
Reference: [2] Coelho H., Cotta J.C.: Prolog by example.Springer-Verlag 1988. Zbl 0649.68004
Reference: [3] Smullyan R.M.: First order logic.Bratislava, ALFA 1979.


Files Size Format View
ActaOlom_29-1990-1_19.pdf 968.4Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo