Searching for authors named Erica Melis – sorted by Relevance.
92 documents found, showing 1 through 10.
Next 10 →
-
Introduction They Call It Learning Style But It’s So Much More
- …Introduction They Call It Learning Style But It’s So Much More Erica Melis German Research…
- Add To MetaCart
-
The Heine-Borel Challenge Problem
- …The Heine-Borel Challenge Problem In Honor of Woody Bledsoe Erica Melis Universitat des…
- Add To MetaCart
-
Modification in Analogy-Driven Proof-Plan Construction
- …Modification in Analogy-Driven Proof-Plan Construction Erica Melis University of Edinburgh…
- Add To MetaCart
-
Main Research Contributions
- …Erica Melis' Main Research Contributions Already at Humboldt-University I have been interested…
- Add To MetaCart
-
The "Limit" Domain
- …The \Limit" Domain Erica Melis y Universitat des Saarlandes, Fachbereich Informatik, D-66041…
- Cited by 20 (11 self) – Add To MetaCart
-
When to Prove Theorems by Analogy?
- …://jswww.cs.uni-sb.de/pub/www/ SEKI Report When to Prove Theorems by Analogy? Erica Melis 1 SEKI Report SR-96-03 When to Prove…
- Cited by 5 (5 self) – Add To MetaCart
-
The `Interactive Textbook' Project
- …The `Interactive Textbook' Project Erica Melis DFKI Saarbrucken and Universitat des Saarlandes D…
- Cited by 2 (1 self) – Add To MetaCart
-
Analogy in CLAM
- …Analogy in CL A M Erica Melis y Abstract CL A M is a proof planner, developed by the Dream…
- Cited by 10 (8 self) – Add To MetaCart
-
Theorem Proving by Analogy -- A Compelling Example
- …Theorem Proving by Analogy -- A Compelling Example ? Erica Melis University of Edinburgh…
- Cited by 1 (1 self) – Add To MetaCart
-
Representing and Reformulating Diagonalization Methods
- …Representing and Reformulating Diagonalization Methods Erica Melis July 1994 CMU-CS-94-174 School…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
