A Introduction
Class overview, intro to AI - Belief-optimal Reasoning for Cyber ...
Elements of Mathematical Logic
An Introduction to Applicative Universal Grammar
Formal Methods. Contents What are Formal Methods? Definition Myths History Types of formal methods Use of mathematics Do we really need Formal Methods?
Lu_ Guangquan Zhang_ Da Ruan-Multi-objective Group Decision Making_ Methods, Software and Applications With Fuzzy Set Techniques -Imperial Colle
Formal Methods