عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 D769 1987
QA76
.
9
.
A96
D769
1987
کتابخانه
محل استقرار
3540182179
3540478116
9783540182177
9783540478119
b566242
From Logic Design to Logic Programming:
[Book]
Theorem Proving Techniques and P-Functions.
D Snyers
Berlin, Heidelberg
Springer Berlin Heidelberg
1987
(IV, 125 pages)
Lecture notes in computer science, 271.
Theorem in proving and P-functions --; Grammars, logics and declarative programming --; Grammars and Semantics.
Computer logic.
Computer programming.
Computer science.
QA76
.
9
.
A96
D769
1987
D Snyers
A Thayse
D Snyers
مطالعه متن کتاب [Book]
Y
