Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness von Bonacina, Maria Paola, Plaisted, David A.

Volltext

Semantically-Guided Goal-Sensitive Reasoning: Model Representation von Bonacina, Maria Paola, Plaisted, David A.

Volltext

Automated theorem proving von Plaisted, David A.

Volltext

Source-to-Source Translation and Software Engineering von Plaisted, David A.

Volltext

History and Prospects for First-Order Automated Deduction von Plaisted, David A.

Volltext

The Aspect Calculus von Plaisted, David A.

Volltext

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis von Plaisted, David A, Zhu, Yunshan

Volltext

A satisfiability procedure for quantified Boolean formulae von Plaisted, David A., Biere, Armin, Zhu, Yunshan

Volltext

A relevance restriction strategy for automated deduction von Plaisted, David A, Yahya, Adnan

Volltext

The Space Efficiency of OSHL von Miller, Swaha, Plaisted, David A.

Volltext

Ordered Semantic Hyper-Linking von Plaisted, David A, Zhu, Yunshan

Volltext

General Algorithms for Permutations in Equational Inference von Avenhaus, Jürgen, Plaisted, David A

Volltext

Ordered Semantic Hyper Tableaux von Yahya, Adnan, Plaisted, David A

Volltext

Special Cases and Substitutes for Rigid E -Unification von Plaisted, David A.

Volltext

The complexity of some complementation problems von Plaisted, David A., Kucherov, Gregory

Volltext

Automated Deduction Techniques for Classification in Description Logic Systems von Paramasivam, M, Plaisted, David A

Volltext

An NP-complete matching problem / by David A. Plaisted : Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 967 von Plaisted, David A

Volltext bestellen

Restricted oracles / by David A. Plaisted : Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 995 von Plaisted, David A

Volltext bestellen

Theorem proving with abstraction, part I / by David A. Plaisted : Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 961 von Plaisted, David A

Volltext bestellen

Theorem proving with abstraction, part II / David A. Plaisted : Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965 von Plaisted, David A

Volltext bestellen