Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd IJCAR 2004 Doctoral Programme: Cork, County Cork, Ireland
- Ulrike Sattler:
Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR Workshop Proceedings 106, CEUR-WS.org 2004 - Roger Antonsen:
Uniform variable splitting. - Magnus Björk:
Adding Equivalence Classes to Stalmarck's Method in First Order Logic. - Emmanuel Hebrard:
Super Solutions in Constraint Programming. - Thomas Hillenbrand:
A Superposition View on Nelson-Oppen. - Jan Hladik:
A Tableau System for the Description Logic SHIO. - Yevgeny Kazakov:
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. - Vladimir Klebanov:
Proof Reuse for Program Verification Calculi. - Lei Li:
Reasoning with large numbers of individuals moves on: extending the instance store. - Zhen Li:
An implementation of a tableau theorem prover for modal logics. - Zhiyao Liang:
Model Checking Using Tabled Rewriting. - Paulo J. Matos:
Intelligent Theorem Proving for Specific Domains. - Flávio L. C. de Moura:
Understanding Higher Order Unification via Explicit Substitutions and Patterns. - Jeff Z. Pan:
Reasoning Support for OWL-E. - Olga Tveretin:
DPLL-based Procedure for Equality Logic with Uninterpreted Functions. - Christoph Wernhard:
Semantic Knowledge Partitioning. - Daniel Winterstein:
Dr.Doodle: A Diagrammatic Theorem Prover.
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
