Your search returned 3 results.

|
1. Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark, 1962-.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: TUNGUU LENDING LIBRARY [Call number: 005.101] (2).

2. Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan

by Huth, Michael, 1962- | Ryan, Mark, 1962-.

Edition: Second edition.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: TUNGUU LENDING LIBRARY [Call number: 005.101] (1).

3. Logic for computer science and artificial intelligence / Ricardo Caferra.

by Caferra, Ricardo, 1945-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; Wiley, 2011Availability: Items available for loan: TUNGUU LENDING LIBRARY [Call number: 006.3] (1).

Powered by Koha