رده‌ها book

Logics for Computer Science, Classical and Non-Classical
(2018)

Participants:

گسترش‌ها
Anita Wasilewska
Anita Wasilewska


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