Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings


Thomas F. Melham, Juanito Camilleri (eds.)
Bok Engelsk 1994

Detaljer

Bibliotek som har denne