Sfoglia per Autore
Mathematical Knowledge Management
2004 A.Asperti; G.Bancerek; A.Trybulec
IST-2001-33562 MoWGLI
2004 A.Asperti
(Optimal) duplication is not elementary recursive.
2004 A. Asperti; P.Coppola; S.Martini.
Efficient Retrieval of Mathematical Statements.
2004 A.Asperti; M.Selmi
A content based mathematical search engine: Whelp
2005 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
An Interactive Algebra Course with Formalised Proofs and Definitions
2006 Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case.
2007 A.Asperti; E.Tassi.
User Interaction with the Matita Proof Assistant
2007 A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli
Journal of Formalized Reasoning ISSN: 1972-5787
2007 A.Asperti
Crafting a Proof Assistant
2007 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Matita
2007 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Matita 0.5.7
2008 A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli
The intensional content of Rice's theorem.
2008 A. Asperti
A page in number theory
2008 A.Asperti; C.Armentano
About the Formalization of some Results by Chebyshev in Number Theory
2009 A. Asperti; W. Ricciotti
A new type for tactics
2009 A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen
Matita 0.5.8
2009 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Hints in Unification
2009 A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi
Preface
2009 R.Amadio; A.Asperti; G.Castagna
Social processes, program verification and all that
2009 A.Asperti; H.Geuvers; R.Natarajan
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Mathematical Knowledge Management | A.Asperti; G.Bancerek; A.Trybulec | 2004-01-01 | - | Springer | 3.02 Curatela | - |
IST-2001-33562 MoWGLI | A.Asperti | 2004-01-01 | - | - | 8.04 Coordinamento di progetti di ricerca | - |
(Optimal) duplication is not elementary recursive. | A. Asperti; P.Coppola; S.Martini. | 2004-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
Efficient Retrieval of Mathematical Statements. | A.Asperti; M.Selmi | 2004-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. | A.Asperti; E.Tassi. | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
User Interaction with the Matita Proof Assistant | A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli | 2007-01-01 | JOURNAL OF AUTOMATED REASONING | - | 1.01 Articolo in rivista | - |
Journal of Formalized Reasoning ISSN: 1972-5787 | A.Asperti | 2007-01-01 | - | CIB Centro Inter-Bibliotecario | 8.01 Ruolo editoriale in rivista | - |
Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Matita | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 7.04 Software | - |
Matita 0.5.7 | A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli | 2008-01-01 | - | - | 7.04 Software | - |
The intensional content of Rice's theorem. | A. Asperti | 2008-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
A page in number theory | A.Asperti; C.Armentano | 2008-01-01 | JOURNAL OF FORMALIZED REASONING | - | 1.01 Articolo in rivista | - |
About the Formalization of some Results by Chebyshev in Number Theory | A. Asperti; W. Ricciotti | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A new type for tactics | A. Asperti; W. Ricciotti; E. Tassi; C. Sacerdoti Coen | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Matita 0.5.8 | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2009-01-01 | - | - | 7.04 Software | - |
Hints in Unification | A., Asperti; W., Ricciotti; C., Sacerdoti Coen; E.,Tassi | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Preface | R.Amadio; A.Asperti; G.Castagna | 2009-01-01 | INFORMATION AND COMPUTATION | - | 1.04 Replica / breve intervento (e simili) | - |
Social processes, program verification and all that | A.Asperti; H.Geuvers; R.Natarajan | 2009-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile