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