عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D3 C47 2013
QA
76
.
9
.
D3
C47
2013
کتابخانه
محل استقرار
electronic
author
Cervesato, Iliano
The deductive spreadsheet
Berlin, Heidelberg
Springer Berlin Heidelberg
2013
xxi, 406 pages : illustrations ; 24 cm.
Cognitive technologies,1161-2842
Includes bibliographical references )pages 375-393( and index
Iliano Cervesato
، Electronic spreadsheets
، Deductive databases
، Logic programming
QA
76
.
9
.
D3
C47
2013
AU
TI
SE
SE Cognitive technologies
