Efficient Realization of Algebraic Specifications in Prolog.

Cyrus F. Nourani

Published in: IEEE Softw. (1986)

Keyphrases

computationally expensive
high level
case study
multiscale
multi agent
relational databases
higher order
first order logic
theorem proving