Atıf İçin Kopyala
Khalil A., von Dadelszen P., Kalafat E., Sebghati M., Ladhani S., Ugwumadu A., ...Daha Fazla
The Lancet Infectious Diseases, cilt.21, sa.5, 2021 (SCI-Expanded)
-
Yayın Türü:
Makale / Kısa Makale
-
Cilt numarası:
21
Sayı:
5
-
Basım Tarihi:
2021
-
Doi Numarası:
10.1016/s1473-3099(20)30779-9
-
Dergi Adı:
The Lancet Infectious Diseases
-
Derginin Tarandığı İndeksler:
Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, PASCAL, CAB Abstracts, CINAHL, EMBASE, Food Science & Technology Abstracts, MEDLINE, Veterinary Science Database
-
Orta Doğu Teknik Üniversitesi Adresli:
Hayır
Özet
Proof systems for the Relativized Propositional Calculus are defined and
compared.