Scientific computation and functional programming.

Jerzy Karczmarczuk

Published in: Comput. Sci. Eng. (1999)

Keyphrases

functional programming
quantifier elimination
execution model
functional language
programming language
object oriented programming
data mining
artificial intelligence
general purpose
first order logic
key features