International workshop on higher order logic theorem proving and its applications 07 1994 La Valette)
VIAF ID: 146635414 ( Corporate )
Permalink: http://viaf.org/viaf/146635414
Preferred Forms
Works
Title | Sources |
---|---|
Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 proceedings |