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
Testing Hypothesis - Winona State University
Simple Equational Specifications of Rational Arithmetic Lawrence S. Moss
Sentential Logic
Semi-constr. theories
Semantic Optimization Techniques for Preference Queries ⋆ Jan Chomicki
Semantic Diff as the Basis for Knowledge Base Versioning
Self-reproducing programs. And Introduction to logic. COS 116, Spring 2010
Declarative Solver Development: Case Studies
Declarative Configuration Applied to Course Scheduling S.
David Lewis`s “How to Define Theoretical Terms”
D M Math 2200 – iscrete
Distributed System Security via Logical Frameworks Frank Pfenning
CPlan: A Constraint Programming Approach to Planning Peter van Beek
e earnabilit Department of Computer Science and Beckman ... University of Illinois
Dynamic Causal Calculus Alexander Bochman
Coordinated Topic Presentations in Information Systems Core
Converting Sentences to Clauses
Control Predicates Are Better Than Dummy
Contextual Reasoning in the Verification
Context Mereology Patrick Hayes Abstract
Conjunctive-Query Containment and Constraint Satisfaction
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
Computing stable models in parallel
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
«
prev
1 ...
205
206
207
208
209
210
211
212
213
... 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