عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .L63 .P74 1997
QA
76
.
9
.
L63
.
P74
1997
کتابخانه
محل استقرار
116534
بهار۸۷
English
)20(
Prehofer, Christian
1967-
Solving higher-order equations: from logic to programming
Boston
Birkhauser
1998
vii, 186 p.: ill.; 24 cm
Progress in theoretical computer science
Includes bibliographical references and index
، Computer logic
، Declarative programming
، Logic, Symbolic and mathematical
QA
76
.
9
.
L63
.
P74
1997
AU
Christian Prehofer
TI
SE
02
