Computability theory, semantics, and logic programming

Name: Computability theory, semantics, and logic programming
Author: Melvin Fitting

by Melvin Fitting · 1987

Cover of Computability theory, semantics, and logic programming

No description available.

Electronic digital computersLogic, Symbolic and mathematicalProgrammingSymbolic and mathematical LogicComputable functionsData structures (Computer science)SemanticsLogic