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
Utgitt | Berlin : Springer , c1994
|
---|---|
Omfang | IX, 470 s. : ill.
|
Emner | |
ISBN | 0387584501. - 3540584501
|