Deduction for Functional Programmers.

James J. Leifer Bernard Sufrin

Published in: J. Funct. Program. (1996)

Keyphrases

programming language
software engineering
source code
theorem proving
object oriented
general purpose
functional analysis
computer users
inference rules
graphical interfaces
databases
computer algebra
computer programs
knowledge representation
multi agent systems
multi agent
website
search engine
data mining