|
Journals in DBLP
- Fairouz Kamareddine
Mathematical Knowledge Management Symposium 2003. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:1-4 [Journal]
- Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
Assertion-level Proof Representation with Under-Specification. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:5-23 [Journal]
- Bruno Buchberger, Adrian Craciun
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:24-59 [Journal]
- Paul A. Cairns, Jeremy Gow
Using and Parsing the Mizar Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:60-69 [Journal]
- Klaus Grue
Logiweb. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:70-101 [Journal]
- Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:102-117 [Journal]
- Gueorgui I. Jojgov, Herman Geuvers
A Calculus of Tactics and Its Operational Semantics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:118-137 [Journal]
- Fairouz Kamareddine, Manuel Maarek, J. B. Wells
MathLang: Experience-driven Development of a New Mathematical Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:138-160 [Journal]
- Mircea Marin, Florina Piroi
Deduction and Presentation in rho Log. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:161-182 [Journal]
- Manolis Mavrikis, Alberto González Palomo
Mathematical, Interactive Exercise Generation from Static Documents. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:183-201 [Journal]
|