|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Calculus of Tactics and Its Operational Semantics |
Jojgov, G.I. |
2004 |
93 | C |
p. 118-137 20 p. |
article |
|
| 2 | Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema |
Buchberger, Bruno |
2004 |
93 | C |
p. 24-59 36 p. |
article |
|
| 3 | Assertion-level Proof Representation with Under-Specification |
Autexier, Serge |
2004 |
93 | C |
p. 5-23 19 p. |
article |
|
| 4 | Deduction and Presentation in ρLog |
Marin, Mircea |
2004 |
93 | C |
p. 161-182 22 p. |
article |
|
| 5 | Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories |
Jojgov, G.I. |
2004 |
93 | C |
p. 102-117 16 p. |
article |
|
| 6 | Logiweb |
Grue, Klaus |
2004 |
93 | C |
p. 70-101 32 p. |
article |
|
| 7 | Mathematical, Interactive Exercise Generation from Static Documents |
Mavrikis, Manolis |
2004 |
93 | C |
p. 183-201 19 p. |
article |
|
| 8 | Mathematical Knowledge Management Symposium 2003 |
Kamareddine, Fairouz |
2004 |
93 | C |
p. 1-4 4 p. |
article |
|
| 9 | MathLang: Experience-driven Development of a New Mathematical Language |
Kamareddine, Fairouz |
2004 |
93 | C |
p. 138-160 23 p. |
article |
|
| 10 | Using and Parsing the Mizar Language |
Cairns, Paul |
2004 |
93 | C |
p. 60-69 10 p. |
article |
10 results found