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
|
