عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .F6858 1986
QA
76
.
6
.
F6858
1986
کتابخانه
محل استقرار
87163
آخر۲۷
English
)20(
Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
Berlin, New York
Springer-Verlag
1988
iv, 218 p. : ill. ; 25 cm
Lecture notes in computer science, 603
Includes bibliographies
، Functional programming )Computer science(-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
76
.
6
.
F6858
1986
AU
M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
AU loracsoB 1947-
AU olleiA icculraC 1946-
AU iveL 1942-
TI
SE
02
