APA (7th ed.) Citation
Lulčo, M., & Kvasnička, V. (2008). Použitie programu JAPE k dôkazu formúl výrokovej a predikátovej logiky. STU v Bratislave FIIT.
Chicago Style (17th ed.) Citation
Lulčo, Michal, and Vladimír Kvasnička. Použitie Programu JAPE K Dôkazu Formúl Výrokovej a Predikátovej Logiky. STU v Bratislave FIIT, 2008.
MLA (9th ed.) Citation
Lulčo, Michal, and Vladimír Kvasnička. Použitie Programu JAPE K Dôkazu Formúl Výrokovej a Predikátovej Logiky. STU v Bratislave FIIT, 2008.
Warning: These citations may not always be 100% accurate.