1. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
2. Logic program synthesis and transformation :
پدیدآورنده : T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programación lógica -- Congresos.,Programación lógica -- Congresos.
رده :
QA76
.
63
T635
1992
