1. Compability theory, Semantics, and logic programming
پدیدآورنده : / Melvin C. Fitting
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
2. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
