|
1.
INFORMATION SOCIETY TECHNOLOGIES (IST) PROGRAMME Project IST-2001 ... File Format: Adobe PostScript - View as HTML We describe here the current status of the Hermes tool, the results of the. ”Journal interface” validation prototype and the external (to the MoWGLI ... 2.
The Meaning of Infinity in Calculus and Computer Algebra Systems The Meaning of Infinity in Calculus and Computer Algebra Systems. Beeson, M ; F. Wiedijk. Artificial Intelligence, Automated Reasoning, and Symbolic ... 3.
Work Package 0: Project Management Feb 2, 2007 ... The Project management will be assured by the following relevant roles: a) Project Manager, b) Exploitation manager, c) Work-package Leaders ... 4.
Hugo Herbelin Feb 2, 2007 ... Hugo Herbelin. Associate Professor at University Paris 10; Seconded at INRIA ... e-mail: Hugo dot Herbelin at inria dot fr ... 5.
A First Course in General Relativity A First Course in General Relativity. B. Schutz. Cambridge University Press, Cambridge (1985). This page is hosted by the Department of Computer Science, ... 6.
Work Package 1: Requirement Analysis Feb 2, 2007 ... D1.a Preliminary Report on Application Scenarios and Requirement Analysis. D1.b Structure and Meta-Structure of Mathematical Documents. ... 7.
Common Criteria for Information Technology Security Evaluation Common Criteria for Information Technology Security Evaluation. Part 1, 2, 3, Version 2.1. CCIMB-99-031, August 1999. This page is hosted by the Department ... 8.
INFORMATION SOCIETY TECHNOLOGIES (IST) PROGRAMME Project IST-2001 ... File Format: PDF/Adobe Acrobat - View as HTML project, has now a very positive impression and it is willing to adopt some of the tools de- veloped in. MoWGLI . In particular Moogle, the ... 9.
Laurent Thery Laurent Thery. Researcher. e-mail: Laurent dot Thery at sophia dot inria dot fr. Home Page: http://www-sop.inria.fr/lemme/Laurente.Thery ... 10.
German Research Center for Artificial Intelligence, GmbH, DFKI The German Research Center for Artificial Intelligence GmbH, DFKI was founded in 1988. Today, DFKI is one of the largest non-profit contract research ... |
