Amanote Research
Register
Sign In
Abstract Saturation-Based Inference
doi 10.1109/lics.2003.1210046
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
N. Dershowitz
C. Kirchner
Publisher
IEEE Comput. Soc
Related search
Completion Is an Instance of Abstract Canonical System Inference
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy Inference System Based Contrast Enhancement
Diversity-Based Inference of Finite Automata
Inference Based on Many Conditional Moment Inequalities
SSRN Electronic Journal
Software Fault Inference Based on Expert Opinion
Journal of Software
Software Fault Inference Based on Expert Opinion
Journal of Software
Protein Function Annotation by Homology-Based Inference
Genome Biology
Cardinality-Based Inference Control in Data Cubes*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Labellings for Assumption-Based and Abstract Argumentation
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software