A Calculus for Predicative Programming.

Emil Sekerinski

Published in: MPC (1992)

Keyphrases

programming language
computer algebra
programming environment
data mining
information retrieval
general purpose
genetic algorithm
knowledge base
case study
high level
software development
development environment
programming course
automated deduction
hands on guide
sequent calculus