Heuristic interest of using metatheorems
Saved in:
Published in | Symposium on Automatic Demonstration pp. 194 - 206 |
---|---|
Main Author | |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
23.08.2006
|
Series | Lecture Notes in Mathematics |
Subjects | |
Online Access | Get full text |
Cover
Loading…
ISBN: | 9783540049142 3540049142 |
---|---|
ISSN: | 0075-8434 1617-9692 |
DOI: | 10.1007/BFb0060633 |