Review
Ontologies Reasoning Components Agents Simulations Deduction Jacques Robin.
Edcational Software presentation
SEWP Customer Meeting
The Customer Service Model Dawn Canty -Saunders & Marcus Fedeli
The Customer Service Model Dawn Canty-Saunders & Marcus Fedeli.
Satisfiability Modulo Theories and Network Verification
Introduction to SMT Lecture 2, 2012
