Last searches
Results for *
Displaying results 1 to 17 of 17.
-
Making Presentation Math Computable
A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems -
Making Presentation Math Computable
A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems -
Karl Bühler (1879 - 1963) und Wilhelm Stählin (1883 - 1975)
psychologische Fundamente der Metapherntheorie im ersten Drittel des 20. Jahrhunderts -
Lectures on computational fluid dynamics, mathematical physics, and linear algebra
-
Exploring the early digital
-
Making presentation math computable
a context-sensitive approach for translating LaTeX to computer algebra systems -
Making Presentation Math Computable
A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems -
Exploring the early digital
-
Making presentation math computable
a context-sensitive approach for translating LaTeX to computer algebra systems -
Making presentation math computable
a context-sensitive approach for translating LaTeX to computer algebra systems -
Exploring the early digital
-
Exploring the Early Digital
-
Karl Bühler (1879 - 1963) und Wilhelm Stählin (1883 - 1975)
psychologische Fundamente der Metapherntheorie im ersten Drittel des 20. Jahrhunderts -
The Church-Rosser property in computer algebra and special theorem proving
an investigation of critical pair, completion algorithms -
Making Presentation Math Computable
A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems -
Making presentation math computable
a context-sensitive approach for translating LaTeX to computer algebra systems -
Making presentation math computable
a context-sensitive approach for translating LaTeX to computer algebra systems