Programming languages


تاربرگ‌های پیموده‌شده در این نشست: powerset ⟩ possible-world semantics ⟩ PowerPoint ⟩ Predicate Logic ⟩ propositional function