Logic in computer science : modelling and reasoning about systems
Huth, Michael
creator
Ryan, Mark
UK
Cambridge university press
2010
427p.
by Michael Huth and Mark Ryan
Computer Science
Computer logic
Logic programming
005.1015113 H97L
20211028111554.0
131533