The Deductive Spreadsheet

DOI10.1007/978-3-642-37747-1MaRDI QIDQ2840904zbMATH OpenOpenAlexFDO

Authors Iliano Cervesato

Publication date 23 July 2013

Published in Cognitive Technologies (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37747-1

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Database theory (68P15)

Recommendations

• Deductive Spreadsheets Using Tabled Logic Programming
• Using spreadsheets for solving logic puzzles

Cited in

(3)

• scientific article; zbMATH DE number 2043395 (Why is no real title available?)
• Using spreadsheets for solving logic puzzles
• Deductive Spreadsheets Using Tabled Logic Programming

Describes a project that uses

Uses Software

• Excel

This page was built for publication: The Deductive Spreadsheet

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2840904)