| Autor: |
TOPAL, ERDEM, ŞEBNEM, ÖZDOĞAN, KILIÇ, MEHMET, RAMASLI GÜRSOY, TUĞBA, ONAY, ZEYNEP REYHAN, ASLAN, AYŞE TANA, ŞİŞMANLAR EYÜBOĞLU, TUĞBA, ÇAKIR, ERKAN, ÇOBANOĞLU, FATMA NAZAN, PEKCAN, SEVGİ, CİNEL, GÜZİN, DOĞRU ERSÖZ, DENİZ, ÖZÇELİK, HAYRİYE UĞUR, YALÇIN, ELMAS EBRÜ, ŞEN, VELAT, ERCAN, ÖMÜR, KILINÇ, AYŞE AYZIT, YAZAN, HAKAN, ALTINTAŞ, DERYA UFUK, DEMİR, ESEN, BİNGÖL, AYŞEN, SAPAN, NİHAT, ÇELEBİOĞLU, EBRU, TUĞCU, GÖKÇEN DİLŞA, ÖZDEMİR, ALİ, HARMANCI, KORAY, KÖSE, MEHMET, EMİRALİOĞLU, NAGEHAN, TAMAY, ZEYNEP ÜLKER, YÜKSEL, HASAN, ÖZCAN, GİZEM, CAN, DEMET, KORKMAZ EKREN, PERVİN, ÇALTEPE, GÖNÜL |
| Jazyk: |
angličtina |
| Rok vydání: |
2020 |
| Popis: |
Proof systems for the Relativized Propositional Calculus are defined andcompared. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
