Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
CARNEGIE MELLON ETPS: A System to Help Students Write Formal Proofs
 

Summary: CARNEGIE MELLON
ETPS: A System to Help Students Write Formal Proofs
by
Peter B. Andrews
Carnegie Mellon University
Matthew Bishop
Azlan Ltd.
Chad E. Brown
Carnegie Mellon University
Sunil Issar
Frank Pfenning
Carnegie Mellon University
Hongwei Xi
Boston University
Research Report No. 03-002
April 2003
Department of Mathematical Sciences
Carnegie Mellon University
ETPS: A System to Help Students Write Formal Proofs
Peter B. Andrews

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics