Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Journal Article Printable view
ETPS: A System to Help Students Write Formal Proofs

ETPS: A System to Help Students Write Formal Proofs

JournalJournal of Automated Reasoning
PublisherSpringer Netherlands
ISSN0168-7433 (Print) 1573-0670 (Online)
IssueVolume 32, Number 1 / January, 2004
DOI10.1023/B:JARS.0000021871.18776.94
Pages75-92
Subject CollectionComputer Science
SpringerLink DateThursday, October 28, 2004
Add to marked items

ETPS: A System to Help Students Write Formal Proofs

Peter B. Andrews1 Contact Information, Chad E. Brown1 Contact Information, Frank Pfenning1 Contact Information, Matthew Bishop2 Contact Information, Sunil Issar1 Contact Information and Hongwei Xi3 Contact Information

(1) Carnegie Mellon University, USA
(2) Azlan Ltd, UK
(3) Boston University, USA

Abstract  ETPS (Educational Theorem Proving System) is a program that logic students can use to write formal proofs in first-order logic or higher-order logic. It enables students to concentrate on the essential logical problems involved in proving theorems, and it automatically checks the proofs.

ETPS - GRADER - education - teaching logic - proofs

Contact InformationPeter B. Andrews
Email: andrews@cmu.edu

Contact InformationChad E. Brown
Email: cebrown@andrew.cmu.edu

Contact InformationFrank Pfenning
Email: fp@cs.cmu.edu

Contact InformationMatthew Bishop
Email: matt.bishop@azlan.co.uk

Contact InformationSunil Issar
Email: si@cs.cmu.edu

Contact InformationHongwei Xi
Email: hwxi@cs.bu.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext
more options
Find


Export this article
Export this article as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.118 • Server: MPWEB36
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)