Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Locales - A Sectioning Concept for Isabelle
| Bertot, Y.; Dowek, G.; Hirschowitz, A.; Paulin, C.; Théry, L.:
Theorem proving in higher order logics : 12th International conference, TPHOLs '99, Nice, France, September 14-17, 1999 ; proceedings
Berlin: Springer, 1999 (Lecture Notes in Computer Science 1690)
ISBN: 3-540-66463-7
ISSN: 0302-9743
pp.149-165 |
| International Conference on Theorem Proving in Higher Order Logics <12, 1999, Nizza> |
|
| English |
| Conference Paper |
| Fraunhofer FIRST () |