Algebraic Formula Manipulation in a Functional Language: A First Attempt.

Antony J. T. Davie

Published in: Functional Programming (1995)

Keyphrases

functional language
functional programming
programming language
proof planning
object identity
machine learning
relational databases
general purpose
artificial intelligence