default search action

combined dblp search
author search
venue search
publication search

ask others

1st ThEdu 2011: Wroclaw, Poland

> Home > Conferences and Workshops > ThEdu

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4535
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4535
Pedro Quaresma, Ralph-Johan Back:
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. EPTCS 79, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4828
Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller:
Towards an Intelligent Tutor for Mathematical Proofs. 1-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4829
Ralph-Johan Back, Johannes Eriksson:
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support. 29-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4830
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4830
Francisco Botana, Miguel A. Abánades:
Automatic Deduction in Dynamic Geometry using Sage. 49-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4831
Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic:
Formalization and Implementation of Algebraic Methods in Geometry. 63-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4832
Walther Neuper:
Automated Generation of User Guidance by Combining Computation and Deduction. 82-101
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4837
Jordi Saludes, Sebastian Xambó:
The GF Mathematics Library. 102-110
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4833
Vanda Santos, Pedro Quaresma:
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment. 111-123
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4834
Wolfgang Schreiner:
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. 124-142
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4835
Makarius Wenzel, Burkhart Wolff:
Isabelle/PIDE as Platform for Educational Tools. 143-153

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.