Theorem proving in higher order logics. 9th international conference, TPHOL '96, Turku, Finland, August 26-30, 1996. Proceedings
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 918670