Languages
Scagnetto, Ivan.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
by:
Scagnetto, Ivan.; Miculan, Marino.; SpringerLink (Online service); Honsell, Furio.
(Language materials, printed)
Mobile information retrieval
by:
SpringerLink (Online service); Crestani, Fabio.; Mizzaro, Stefano.; Scagnetto, Ivan.
(Language materials, printed)
Subjects
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Symbolic and Algebraic Manipulation.
Mobile computing.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Computer Science.
Information retrieval.
Computer programs
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mobile Computing.
Document Preparation and Text Processing.