TY  - BOOK
AU  - Cervesato,Iliano
TI  - The deductive spreadsheet
T2  - Cognitive technologies,
SN  - 3642377467
AV  - QA 76.9.D3 .C4
PY  - 2013///]
CY  - Heidelberg
PB  - Springer
KW  - Electronic spreadsheets
KW  - Deductive databases
KW  - Logic programming
N1  - Includes bibliographical references (pages 375-393) and index
UR  - http://www.loc.gov/catdir/enhancements/fy1506/2013943471-t.html
UR  - http://www.loc.gov/catdir/enhancements/fy1506/2013943471-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy1506/2013943471-b.html
ER  -