Tassi, Enrico.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Enrico Tassi
VIAF ID: 128152380138801762120 (Personal)
Permalink: http://viaf.org/viaf/128152380138801762120
Preferred Forms
-
100 0 _
‡a
Enrico Tassi
-
200 _ | ‡a Tassi ‡b Enrico
-
100 1 _ ‡a Tassi, Enrico
-
100 1 _ ‡a Tassi, Enrico
-
100 1 _
‡a
Tassi, Enrico
-
100 1 _
‡a
Tassi, Enrico
-
100 1 _ ‡a Tassi, Enrico
-
100 1 _ ‡a Tassi, Enrico.
4xx's: Alternate Name Forms (2)
Works
| Title | Sources |
|---|---|
| Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes. |
|
| Applications of Foundational Proof Certificates in theorem proving |
|
| Calculer avec des relations, des fonctions et des lieurs. |
|
| Computing with relations, functions, and bindings |
|
| A Content Based Mathematical Search Engine: Whelp |
|
| Degli stringimenti uretrali e specialmente dei mezzi più acconci per guarirli. |
|
| Expressing predicate subtyping in computational logical frameworks |
|
| Expression du sous-typage par prédicats dans les cadres logiques calculatoires. |
|
| High performance scientific computing using distributed infrastructures, [2017]: |
|
| A Machine-Checked Proof of the Odd Order Theorem |
|
| Tinycals: Step by Step Tacticals |
|
| User Interaction with the Matita Proof Assistant |
|
| Virginia Woolf : an exhibition inspired by her writings |
|
| Workshop on Diffraction and Low-x : Reggio, Calabria, Italy, August 26 - September 1, 2018 / Marcella Capua [i 6 pozostałych] editors of proceedings. - Cracow, 2019. |
|
