Knowledge Representation and Reasoning



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