Start Over Return To Browse Limit/Sort
     
Limit search to available items
Save marked records Save all on page
SUBJECTS (1-6 of 6)
Computer Logic
1
Mark
  ACM Transactions on computational logic.

New York : Association for Computing Machinery, 2000-2002.   		2002
PERIODICAL
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL basement journals  QA 75.5 A87  2000/02,v.1-3  7 DAYS  ASK at the Reading Room
2
Mark
  Logic-based artificial intelligence

Boston, Mass. : Kluwer Academic Publishers, 2000.   		2000
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.9 L63 L8  8 WEEK LOAN  AVAILABLE
3
Mark
  Logic in computer science : modelling and reasoning about systems
Huth, Michael, 1962-
Cambridge : Cambridge University Press, c2004.   		c2004
BOOK
4
Mark
  Logic in computer science modelling and reasoning about systems
Huth, Michael, 1962-
Cambridge : Cambridge University Press, 2004. -Access this resource online 		2004
EBOOKS
Computer Logic Popular Works
5
Mark
  Computational thinking
Denning, Peter J., 1942- author.
Cambridge, Massachusetts ; London, England : The MIT Press, [2019] -Access this resource online 		2019
EBOOKS
6
Mark
  Computational thinking
Denning, Peter J., 1942- author.
Cambridge, Massachusetts : The MIT Press, 2019.   		2019
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room 1st floor HDC  QA76.9.L63 D46  4 WEEK LOAN  DUE 30-04-24
Save marked records Save all on page
Locate in results
Start Over Return To Browse Limit/Sort