語系
Scagnetto, Ivan.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Mobile information retrieval
by:
SpringerLink (Online service); Crestani, Fabio.; Mizzaro, Stefano.; Scagnetto, Ivan.
(書目-語言資料,印刷品)
主題
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.