Logic in computer science

Permalink: http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:36394/Similar
Glavni autor: Huth, Michael, 1962- (-)
Ostali autori: Ryan, Mark, 1962- (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Cambridge, [England] ; New York : Cambridge University Press, 2000.
Predmet:
Online pristup: Publisher description
Table of contents

APA stil citiranja

Huth, M., & Ryan, M. (2000). Logic in computer science: Logic in computer science : modelling and reasoning about systems. Cambridge, [England] ; New York: Cambridge University Press.

Chicago stil citiranja

Huth, Michael, and Mark Ryan. Logic in computer science: Logic in computer science : modelling and reasoning about systems. Cambridge, [England] ; New York: Cambridge University Press, 2000.

MLA stil citiranja

Huth, Michael, and Mark Ryan. Logic in computer science: Logic in computer science : modelling and reasoning about systems. Cambridge, [England] ; New York: Cambridge University Press, 2000.