Atıf İçin Kopyala
ÖZTÜRK S., SÜNBÜL S. E., İÇİN K.
TRANSACTIONS OF NONFERROUS METALS SOCIETY OF CHINA, cilt.30, sa.5, ss.1169-1182, 2020 (SCI-Expanded)
-
Yayın Türü:
Makale / Tam Makale
-
Cilt numarası:
30
Sayı:
5
-
Basım Tarihi:
2020
-
Doi Numarası:
10.1016/s1003-6326(20)65287-6
-
Dergi Adı:
TRANSACTIONS OF NONFERROUS METALS SOCIETY OF CHINA
-
Derginin Tarandığı İndeksler:
Science Citation Index Expanded (SCI-EXPANDED), Scopus, Aerospace Database, Communication Abstracts, Compendex, INSPEC, Metadex, Civil Engineering Abstracts
-
Sayfa Sayıları:
ss.1169-1182
-
Karadeniz Teknik Üniversitesi Adresli:
Evet
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.