Atıf İçin Kopyala
ONAY Z. R., RAMASLI GÜRSOY T., ASLAN A. T., ŞİŞMANLAR EYÜBOĞLU T., ÇAKIR E., ÇOBANOĞLU F. N., ...Daha Fazla
ECFS 2020 Congress, Fransa, 3 - 06 Haziran 2020, cilt.19, ss.72
-
Yayın Türü:
Bildiri / Özet Bildiri
-
Cilt numarası:
19
-
Doi Numarası:
10.1016/s1569-1993(20)30396-9
-
Basıldığı Ülke:
Fransa
-
Sayfa Sayıları:
ss.72
-
Eskişehir Osmangazi Üniversitesi Adresli:
Evet
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.