Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings


E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)
Bok Engelsk 1995

Detaljer

Bibliotek som har denne