Languages
Cervesato, Iliano.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
The deductive spreadsheet
by:
Cervesato, Iliano.; SpringerLink (Online service)
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
LPAR 2008 (Dawhah, Qatar)) ((2008 :); Voronkov, Andrei.; Veith, Helmut.; Cervesato, Iliano.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Electronic spreadsheets.
Deductive databases.
Computer Appl. in Administrative Data Processing.
Business Information Systems.
Computer Science.
Programming Techniques.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.