Logic in computer science: modelling and reasoning about systems
Michael Huth
Logic in computer science: modelling and reasoning about systems - - Cambridge University Press 2005 - 427p. - .
MD/1/0530/2009-10/23-09-09
9780521670890 (PB)
COMPUTER LOGIC
LOGIC PROGRAMMING – COMPUTER
005.1015113 HUT(LOG)
Logic in computer science: modelling and reasoning about systems - - Cambridge University Press 2005 - 427p. - .
MD/1/0530/2009-10/23-09-09
9780521670890 (PB)
COMPUTER LOGIC
LOGIC PROGRAMMING – COMPUTER
005.1015113 HUT(LOG)