تاربرگ‌های پیموده‌شده در این نشست: Linear Logic ⟩ Model theory ⟩ Data structures ⟩ neural network ⟩ Principle of bivalence ⟩ Knowledge Representation and Reasoning