NUST Institutions Library Catalogue catalog › Results of search for '(su:"Computer logic")'

Search

Your search returned 6 results.

Not what you expected? Check for suggestions

		Logic in computer science: modelling and reasoning about systems modelling and reasoning about systems Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark, 1962-. Edition: 2nd ed. Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1). Place hold Find in NUST Repository
		Logical foundations for cognitive agents: contributions in honor of Ray Reiter Hector J. Levesque, Fiora Pirri (eds.) by Levesque, Hector J \| Levesque, Hector J, 1951- \| Pirri, Fiora \| Reiter, Ray. Publisher: New York : Springer, 1999Availability: Items available for loan: Central Library (CL)Call number: 006.3 LEV (1). Place hold Find in NUST Repository
		Handbook of practical logic and automated reasoning J. Harrison by Harrison, J \| J. Harrison. Publisher: New York Cambridge University Press 2009Availability: Items available for loan: Central Library (CL)Call number: 006.333 HA (1). Place hold Find in NUST Repository
		Logic in computer science : modelling and reasoning about systems by Huth, Michael \| Mark Ryan. Edition: 2nd ed.Material type: Text Publisher: New York Cambridge University Press 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1). Place hold Find in NUST Repository
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark, 1962-. Edition: 2nd ed. Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Online access: Publisher description \| Sample text \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.1,HUT (1). Place hold Find in NUST Repository
		No cover image available Fundamentals of computer logic design by Saeed Akhtar Bhatti, Dr Naeem Akhtar Bhatti. Material type: Text; Format: print ; Literary form: Not fiction Publisher: LAHORE A-ONE PUBLISHERS 1999Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 621.319 SAE (1). Place hold Find in NUST Repository

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.