Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings
The articles of this volume will not be indexed individually.
scientific article; zbMATH DE number 702501