Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Manuscript Book |
| Language: | Slovak |
| Published: |
Bratislava :
STU v Bratislave FEI,
2023
|
| Subjects: | |
| Online Access: | https://opac.crzp.sk/?fn=detailBiblioFormChildIB0FQ&sid=C0DEB8E07572332BA2250915805F&seo=CRZP-detail-kniha |
| Tags: |
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!