

An edition of Discrete structures, logic, and computability (1994)
By James L. Hein
Publish Date
2010
Publisher
Jones and Bartlett Publishers
Language
eng
Pages
943
Description:
subjects: Computable functions, Computer science, Data structures (Computer science), Logic programming, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Traitement automatique des données, Mathematische Logik, Automatische bewijsvoering, Berechenbarkeit, Diskrete Mathematik, Berekenbaarheid, Logisch programmeren, Computer science, mathematics, Computer science--mathematics, Qa76.9.m35