Your search returned 6 results.

Results
	1.	Symbolic logic and mechanical theorem proving / Chin-Lian Chang and Richard Char-Tung Lee by Chang, Chin-Lian Lee, Richard Char-Tung Series: Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: Boston : Academic Press, c1973 Availability: Items available for loan: North South University Library (2)Location, call number: QA9.C483 1973, ... Place hold Add to cart (remove)
	2.	Foundations of logic programming / J. W. Lloyd by Lloyd, J. W Series: Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New York : Springer-Verlag, c1984 Availability: Items available for loan: North South University Library (1)Location, call number: QA76.6.L583 1984. Place hold Add to cart (remove)
	3.	Introduction to digital logic design / John P. Hayes. by Hayes, John P Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: Reading, Mass. : Addision-Wesley, c1993 Availability: Items available for loan: North South University Library (1)Location, call number: GEN TK7888.4.H39 1993. Place hold Add to cart (remove)
	4.	Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou by Lewis, Harry R Papadimitriou, Christos H [joint author.] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Jersey : Prentice-Hall, c1981 Availability: Items available for loan: North South University Library (10)Location, call number: GEN QA267.L49 1981, ... Place hold Add to cart (remove)
	5.	Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou by Lewis, Harry R Papadimitriou, Christos H [joint author] Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : Pearson Education, c1998 Availability: Items available for loan: North South University Library (3)Location, call number: GEN QA267.L49 1998, ... Place hold Add to cart (remove)
	6.	Symbolic logic / Irving M. Copi by Copi, Irving M Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : Prentice-Hall of India, c1979 Availability: Items available for loan: North South University Library (2)Location, call number: BC135.C58 1979, ... Place hold Add to cart (remove)

© 2017-2024 NSU Library
North South University

Powered by Koha