Logic in computer science : modelling and reasoning about systems

Michael Huth, Mark Ryan
Bok Engelsk 2004


Utgitt	Cambridge : Cambridge University Press , 2004
Omfang	XIV, 427 s. : ill.
Utgave	2nd ed.
Emner	Computer logic Logic programming (Computer science) Logic programming. Matematisk logikk - Databehandling datamaskiner logikk
Dewey	005.1015113
ISBN	052154310X

Biblioteksøk