Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vanco - detaljert visning

Higher order logic theorem proving and its applications : 6th international workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

HUG '93
Bok Engelsk 1994


Utgitt	Berlin : Springer , c1994
Omfang	IX, 517 s. : fig.
Emner	Automatic theorem proving - Congresses Logikkprogrammering logikk bevisføring automatisk
ISBN	0387578269. - 3540578269