The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ThEdu"( http://dblp.L3S.de/Venues/ThEdu )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2011 (10)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
ThEdu(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller Towards an Intelligent Tutor for Mathematical Proofs Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jordi Saludes 0001, Sebastian Xambó The GF Mathematics Library Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Schreiner Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Walther Neuper Automated Generation of User Guidance by Combining Computation and Deduction Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic Formalization and Implementation of Algebraic Methods in Geometry Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pedro Quaresma, Ralph-Johan Back (eds.) Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralph-Johan Back, Johannes Eriksson An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vanda Santos, Pedro Quaresma Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francisco Botana, Miguel A. Abánades Automatic Deduction in Dynamic Geometry using Sage Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Makarius Wenzel, Burkhart Wolff Isabelle/PIDE as Platform for Educational Tools Search on Bibsonomy ThEdu The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license