تاربرگ‌های پیموده‌شده در این نشست: relational semantics ⟩ machine learning ⟩ Classical Propositional Logic ⟩ relational semantics ⟩ Infinite-valued logic ⟩ Symbolic Logic