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
NMI TR 18 Shift Registers with Feedback Configured as Counter
Naturalizing Logic
PPT
POISSON THINNING BY MONOTONE FACTORS
PMON : A Fluent Logic for Action and Change Formal Specication, Version 1.0
Ordered Epistemic Logic: Semantics, Complexity and Applications
Optimal Planning with Temporal Logic Specifications Sertac Karaman JUN 62009
Ontology Contraction: Beyond the Propositional - CEUR
One Dogma of Millianism Derek Ball (University of St Andrews) and
On the Nature and Role of Modal Truth Criteria in Planning
On the Decidability of Connectedness Constraints
On Repairing Reasoning Reversals via Representational Refinements Alan Bundy, Fiona McNeill
On Guessing Whether a Sequence has a Certain Property
On -tidy graphs P 4
Numerical Comparison Function for Weibull Distribution Probability Values with Possibility
Towards Answer Set Programming with Sorts
TOWARDS A METAPHYSICS-FREE MATHEMATICAL LOGIC:
Towards a Logic-based Theory of Argumentation Philippe Besnard
THE PROBLEM OF CONTRARY-TO-FACT CONDITIONALS By
The Parameterized Complexity of Reasoning Problems Beyond NP Ronald de Haan
The Strategy Challenge in SMT Solving
The Relative Expressiveness of Abstract Argumentation and Logic Programming Hannes Strass
“MATHEMATICAL PHYSICS” AND “PHYSICAL MATHEMATICS”:
VeriML: Typed Computation of Logical Terms inside a Language with Effects
«
prev
1 ...
170
171
172
173
174
175
176
177
178
... 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