Theorem Proving in Large Theories (1998)
Cached
Download Links
by
Wolfgang Reif
,
Gerhard Schellhorn
| Venue: | IN PROC. FTP’97 |
| Citations: | 24 - 5 self |
BibTeX
@INPROCEEDINGS{Reif98theoremproving,
author = {Wolfgang Reif and Gerhard Schellhorn},
title = {Theorem Proving in Large Theories},
booktitle = {IN PROC. FTP’97},
year = {1998},
pages = {119--124},
publisher = {Kluwer Academic Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
