Atıf İçin Kopyala
MERCİMEK M. N., ÖZDEN E., YAKUPOĞLU Y. K.
35th Annal EAU Congress-Virtual, Amsterdam, Hollanda, 17 - 26 Temmuz 2020, cilt.19, ss.1588-1589
-
Yayın Türü:
Bildiri / Özet Bildiri
-
Cilt numarası:
19
-
Doi Numarası:
10.1016/s2666-1683(20)33658-2
-
Basıldığı Şehir:
Amsterdam
-
Basıldığı Ülke:
Hollanda
-
Sayfa Sayıları:
ss.1588-1589
-
Ondokuz Mayıs Üniversitesi Adresli:
Evet
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.