Proof-Checking Process-Based Reasoning about Physical Systems | 1. Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyum