Atıf İçin Kopyala
MELEKOĞLU ELLİK Z., ÇALIŞKAN A., DUMAN S., GÜMÜŞSOY M., ÖZERCAN A. M., ER R. E., ...Daha Fazla
EASL: The Digital International Liver Congress, 27 - 29 Ağustos 2020, cilt.73, ss.528
Proof systems for the Relativized Propositional Calculus are defined and compared.