Καμμάς, Π., & Σταματίου, Ι. (2015). Τεχνικές εύρεσης άνω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησημότητας λογικών τύπων BOOLE.
Παραπομπή σε μορφή Chicago (17η εκδ.)Καμμάς, Παντελής, και Ιωάννης Σταματίου. Τεχνικές εύρεσης άνω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησημότητας λογικών τύπων BOOLE. 2015.
Παραπομπή σε μορφή MLA (9th εκδ.)Καμμάς, Παντελής, και Ιωάννης Σταματίου. Τεχνικές εύρεσης άνω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησημότητας λογικών τύπων BOOLE. 2015.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.