Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 71
Titolo Autore(i) Anno Periodico Editore Tipo File
(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 -
IST-2001-33562 MoWGLI A.Asperti 2004-01-01 - - 8.04 Coordinamento di progetti di ricerca -
Mathematical Knowledge Management A.Asperti; G.Bancerek; A.Trybulec 2004-01-01 - Springer 3.02 Curatela -
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 -
Journal of Formalized Reasoning ISSN: 1972-5787 A.Asperti 2007-01-01 - CIB Centro Inter-Bibliotecario 8.01 Ruolo editoriale in rivista -
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 -
Matita A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli 2007-01-01 - - 7.04 Software -
Crafting a Proof Assistant A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli 2007-01-01 - - 4.01 Contributo in Atti di convegno -
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 -
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 -
Mobile Petri nets A.Asperti; N.Busi 2009-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
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 -
A compact kernel for the calculus of inductive constructions A.Asperti; W.Ricciotti; C.Sacerdoti Coen; E.Tassi 2009-01-01 SADHANA (BANGALORE) - 1.01 Articolo in rivista -
An Interactive Driver for Goal-directed Proof Strategies. A.Asperti; E.Tassi 2009-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 71
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