| 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:
|
http://hdl.handle.net/10338.dmlcz/120239 |
| . |
| 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. |
| . |
