NUST Institutions Library Catalogue

Your search returned 5 results.

Not what you expected? Check for suggestions
Computational Logic Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II / Antonis C. Kakas, Fariba Sadri (eds.)

by Kakas C. Antonis | Kowalski, Robert | Kakas, Antonis C | Sadri, Fariba, 1956- | LINK (Online service).

Material type: Text Text; Format: electronic available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Hong Kong : Springer-Verlag, c2002Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 005.115 COM (2).
Place hold Find in NUST Repository
Computing with logic : logic programming with Prolog / David Maier, David S. Warren

by Maier, David | Warren, David S.

Publisher: Menlo Park, Calif. : Benjamin/Cummings Pub. Co., c1988Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.133,MAI (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
Arithmetic and logic in computer systems / Mi Lu.

by Lu, Mi.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Hoboken, NJ : Wiley-Interscience, c2004Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 280 SCB (1).
Place hold Find in NUST Repository
Discrete structures, logic, and computability / James L. Hein.

by Hein, James L.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Sudbury, Mass. : Jones and Bartlett Publishers, c2010Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.115,HEI (1).
Place hold Find in NUST Repository
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.