×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [r true]
Static Contract Checking for Haskell Dana N. Xu University of Cambridge Ph.D. Supervisor: Simon Peyton Jones Microsoft Research Cambridge
235 views
Handling Uncertainty System in the Situation Calculus with Macro-actions Yilan Gu Department of Computer Science University of Toronto November 28, 2002
221 views
The Situation Calculus and the Frame Problem Using Theorem Proving to Generate Plans
218 views
CELL REPRODUCTION Unit Target: Use a model to illustrate the role of cellular division (mitosis) and differentiation in producing and maintaining complex
213 views
Formal methods Basic concepts. Introduction Just as models, formal methods is a complement to other specification methods. Standard is model-based
217 views
Relational Algebra Instructor: Mohamed Eltabakh
[email protected]
1 Part II
219 views
Formal methods
44 views