The Deductive Spreadsheet

DOI10.1007/978-3-642-37747-1zbMATH Open1269.68006OpenAlexW4248445139MaRDI QIDQ2840904FDOQ2840904

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

Recommendations

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

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)

Cited In (3)

• Title not available (Why is that?)
• Using spreadsheets for solving logic puzzles
• Deductive Spreadsheets Using Tabled Logic Programming

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)