The Deductive Spreadsheet

• Κύριος συγγραφέας: Cervesato, Iliano (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Cognitive Technologies,
• Θέματα: Computer science.; Information technology.; Business > Data processing.; Computer programming.; Computers.; Artificial intelligence.; Application software.; Computer Science.; Information Systems and Communication Service.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; IT in Business.; Computer Appl. in Administrative Data Processing.

This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal tr...