Searching for authors named "Tanel Tammet" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Gandalf
- …Gandalf TANEL TAMMET Department of Computing Science, University of Goteborg, Goteborg, Sweden…
- Add To MetaCart
-
Reference Manual. Gandalf
- …Reference Manual GANDALF version c-1.0c by Tanel Tammet October 1997 Department of Computing…
- Add To MetaCart
-
Resolution, Inverse Method and the Sequent Calculus
- …Resolution, inverse method and the sequent calculus Tanel Tammet Department of Computer Sciences…
- Add To MetaCart
-
Extending Classical Theorem Proving for the Semantic Web
- …Extending Classical Theorem Proving for the Semantic Web Tanel Tammet (Tallinn Technical…
- Cited by 2 (0 self) – Add To MetaCart
-
Using Resolution for Extending KL-ONE-type Languages
- …Using Resolution for Extending KL-ONE-type Languages Tanel Tammet Department of Computing Science…
- Cited by 4 (0 self) – Add To MetaCart
-
Completeness of Resolution for Definite Answers
- …Completeness of Resolution for Definite Answers Tanel Tammet e-mail: tammet@(email omitted); A…
- Cited by 3 (2 self) – Add To MetaCart
-
Finite Model Building: Improvements and Comparisons
- …Finite model building: improvements and comparisons Tanel Tammet Tallinn Technical University…
- Cited by 3 (0 self) – Add To MetaCart
-
Lambda lifting as an optimization for compiling Scheme to C
- …Lambda-lifting as an optimization for compiling Scheme to C Tanel Tammet Department of Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
Resolution Methods for Decision Problems and Finite-Model Building
- …Resolution methods for decision problems and finite-model building Tanel Tammet Ph.D. thesis…
- Cited by 13 (1 self) – Add To MetaCart
-
A Resolution Theorem Prover for Intuitionistic Logic
- …A Resolution Theorem Prover for Intuitionistic Logic Tanel Tammet Department of Computing Science…
- Cited by 40 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
