Handbook of practical logic and automated reasoning

John Harrison
Bok · Engelsk · 2009

Utgitt	Cambridge : Cambridge University Press , c2009
Omfang	xix, 681 s. : ill.
Emner	Computer logic Automatisk resonnering : (NO-TrBIB)REAL000461
Dewey	006.333
ISBN	9780521899574