Results 251 to 258 of about 49,972 (258)

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

Proceedings of the Koninklijke Nederlandse Akademie Van Wetenschappen Series A, Indagationes Mathematicae, 1972
N G de Bruijn
exaly  

Global theory of ordinary differential equations and formula manipulation

Proceedings of the international symposium on Symbolic and algebraic computation, 1990
openaire   +1 more source

THKLISP as a base of formula manipulation systems

Lecture Notes in Computer Science, 2005
exaly  

An interactive tool for manipulating logical formulae

2006
Lodder, J., Jeuring, J.T., Passier, H.
openaire   +2 more sources

Applying symbolic formula manipulation to the problem of non-linear least squares

Nuclear Instruments & Methods, 1973
exaly  

Achievements and problems in formula manipulation.

openaire  

A Logic Programming Approach to Manipulating Formulas and Programs.

Dale Miller 0001, Gopalan Nadathur
openaire  

On formula manipulation connected with computer design.

openaire