Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/mkm

Publication years (Num. hits)
2007 (32) 2009 (41) 2011 (31)
Publication types (Num. hits)
inproceedings(101) proceedings(3)
Venues (Conferences, Journals, ...)
Calculemus/MKM(104)
Authors
Michael Kohlhase(12) Claudio Sacerdoti Coen(5) Florian Rabe 0001(5) William M. Farmer(5) Jacques Carette(4) James H. Davenport(4) Josef Urban(4) Julio Rubio 0001(4) Stephen M. Watt(4) Volker Sorge(4) Andrea Kohlhase(3) Cezary Kaliszyk(3) Christoph Lange 0002(3) Fairouz Kamareddine(3) Feryal Fulya Horozal(3) J. B. Wells(3) More (+10 of total 171)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 13 keywords
Results
Found 104 publication records. Showing 104 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mirian Andrés, Laureano Lambán, Julio Rubio 0001 Executing in Common Lisp, Proving in ACL2. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elena Kartashova, Scott McCallum Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells Restoring Natural Language as a Computerised Mathematics Input Method. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Christoph Lüth, Daniel Winterstein A Framework for Interactive Proof. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #104 of 104 (100 per page; Change: )
Pages: [<<][1][2]
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