Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Math
Advanced Math
Logic
A Practical Guide to Controlling Electrostatic Changes on
A Partial Order Reduction Algorithm without the Proviso Abstract Ratan Nalumasu
A Logic of Branching Histories with a Shared Linear Time... Brandon Bennett
SAT-based Model Checking
Rely-Guarantee References for Refinement Types
pptx - People.cs.uchicago.edu
ppt - Software Science Laboratory
Reprinted from the Journal of the Institution of Electronics
Representing and Reasoning About Commitments in Business Processes Nirmit Desai
Proving the Correctness of Digital Hardware Designs
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics Franc¸ois Goasdou´e
Harvard-MIT Division of Health Sciences and Technology
January 27, 2008 THE COMPLEXITY OF ENRICHED -CALCULI
Information Flow Bo Hu
Thank You for Arguing Review
Temporal Reasoning with Constraints
Tableau-Based Theorem Proving in Normal Conditional ...
Stable Models in Generalized Possibilistic Logic Didier Dubois Henri Prade Steven Schockaert
Some Spatial and Spatio-Temporal Operators Derived from the Topological View
Synthesis of Trigger Properties ∗ Orna Kupferman Moshe Vardi
Symmetry Reduction for SAT Representations of Transition Systems Jussi Rintanen
Syllabus, intro to arguments, diagrams
Structured Contexts with Lightweight Ontology Hongwei Zhu, Stuart E. Madnick
Structured Sohtion Methods for Fahiem Bacchus
«
prev
1 ...
219
220
221
222
223
224
225
226
227
229
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send