Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
Jeffrey J. Joyce, Carl-Johan H. Seger (eds.)
Bok Engelsk 1994 HUG '93
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | IX, 517 s. : fig.
|
| Emner | |
| ISBN | 0387578269. - 3540578269
|
