Huth, Michael Ryan, Mark
Logic in computer science modelling and reasoning about systems - 2 - New York Cambridge University Press 2004. - 427
052154310X
Computer logic.
Logic programming (Computer science)
681.3.06 HUT
Logic in computer science modelling and reasoning about systems - 2 - New York Cambridge University Press 2004. - 427
052154310X
Computer logic.
Logic programming (Computer science)
681.3.06 HUT