Searching for authors named "Benjamin Shults" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Framework for Using Knowledge in Tableau Proofs
- …A Framework for Using Knowledge in Tableau Proofs Benjamin Shults The University of Texas…
- Cited by 2 (1 self) – Add To MetaCart
-
Toward a Reformalization of QSIM
- …Toward a Reformalization of QSIM Benjamin Shults Department of Mathematics University of Texas…
- Cited by 1 (1 self) – Add To MetaCart
-
The Creation and Use of a Knowledge Base of Mathematical Theorems and Definitions
- …The Creation and Use of a Knowledge Base of Mathematical Theorems and Definitions Benjamin Shults…
- Cited by 2 (2 self) – Add To MetaCart
-
Comprehension and Description in Tableaux
- …Comprehension and Description in Tableaux Benjamin Shults bshults@(email omitted); October 10, 1997…
- Cited by 1 (0 self) – Add To MetaCart
-
Teaching Data Structures: Thread Safety and Components
- …, shults@(email omitted); Benjamin Price Shults Course Details In the Spring of 2002, for the first time…
- Add To MetaCart
-
Qualitative Simulation and Temporal Logic: Proving Properties of Continuous Systems
- …Qualitative Simulation and Temporal Logic: Proving Properties of Continuous Systems Benjamin…
- Cited by 6 (1 self) – Add To MetaCart
-
Reasoning in Logic about Continuous Systems
- …. Reasoning in Logic about Continuous Systems Benjamin J. Kuipers Computer Science Department University…
- Cited by 11 (3 self) – Add To MetaCart
-
Discoveries and Experiments in the Automation of Mathematical Reasoning
- …Copyright by Benjamin Price Shults 2002 DISCOVERIES AND EXPERIMENTS IN THE AUTOMATION…
- Cited by 1 (0 self) – Add To MetaCart
-
Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic
- …Proving properties of continuous systems: qualitative simulation and temporal logic Benjamin…
- Cited by 22 (5 self) – Add To MetaCart
Showing 1 through 9.
