Results of search for 'ccl=su:"Logic;"' › JRD Tata Memorial Library catalog

Results
	441.	Multiple valued logic. ISMVL 1988. Proceedings. by IEEE International symposium on multiple-valued logic (18 1988 Palma De Mallorka) Material type: Book Publication details: New York IEEE 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N889 "SER".
	442.	Engineering approach to digital design by William I. Fletcher. by Fletcher, William I Material type: Book Publication details: Englewood cliffs Prentice-Hall 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.3815 N80 R(T). Place hold
	443.	Logic, algebra and databases by Peter M. D. Gray by Gray, M. D. Peter Series: Ellis horwood series in computers and their applications 29 Material type: Book Publication details: Chichester Ellis Horwood 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N848;2. Place hold
	444.	Intensional logic and the metaphysics of intentionality by Edward N. Zalta by Zalta-Edward, N Material type: Book Publication details: Cambridge Bradford Book 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 110 N88. Place hold
	445.	No cover image available Logic in computer science. LICS 1988. Proceedings by IEEE Symposium on Logic in Computer Science (3 1988 Edinburgh) Material type: Book Publication details: New york IEEE 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N881.
	446.	Logic in computer science. LICS 1997. Proceedings by IEEE Symposium on logic in computer science (12 1997 Warsaw) Material type: Book Publication details: Los Alamitos IEEE 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N971 "SER".
	447.	Multiple valued logic. ISMVL 1997 Proceedings by IEEE International symposium on multiple valued logic (27 1997 Antigonish) Material type: Book Publication details: Los Alamitos IEEE 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N97 "SER".
	448.	Logic for problem solving by Robert Kowalski. by Kowalski, Robert Series: Computer science library Material type: Book Publication details: New york North-Holland 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N793;1.
	449.	Logic in Computer Science Modelling and reasoning about systems by Michael Huth and Mark Ryan by Huth, Michael Ryan, Mark Edition: 2nd ed. Material type: Book Publication details: Cambridge CUP 2004 Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.131 P04. Place hold
	450.	No cover image available Instrument manual section 9 logic systems Material type: Book Publication details: CAHIT 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 660.283 N813.9.
	451.	No cover image available Logic in computer science. LICS 1986. Proceedings by IEEE Symposium on logic in computer science Material type: Book Publication details: IEEE 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N861 "SER".
	452.	No cover image available Multiple valued logic. Proceedings. by IEEE International symposium on multiple valued logic Material type: Book Publication details: IEEE 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N866 "SER".
	453.	Foundations of computational mathematics selected papers ed. by F Cucker, M Shub by Conference on Foundations of Computational Mathematics(Rio de Janeiro 1997) Cucker, F., ed Shub, M., ed Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N971.
	454.	Introduction to the theory of computation by Michael Sipser by Sipser, Michael Material type: Book Publication details: Boston PWS Publishing Co. 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N973. Place hold
	455.	Axiomatic set theory by Patrick Suppes by Suppes, Patrick Material type: Book Publication details: New York Dover pub. 1972 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N72. Place hold
	456.	Introduction to arithmetic for digital systems designers by Shlomo Waser and Michael J Flynn by Waser, Shlomo Flynn, Michael J Material type: Book Publication details: New York CBS College Publishing 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3901513 N82.
	457.	Switching and finite automata theory by Zvi Kohavi by Kohavi, Zvi Edition: 2nd ed. Material type: Book Publication details: New Delhi Tata McGraw-Hill 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.381537 N781;2. Place hold
	458.	No cover image available Multiple valued logic. ISMVL 1987 Proceedings by IEEE International symposium on multiple valued logic (1987) Material type: Book Publication details: Piscataway IEEE 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N875 "SER".
	459.	Foundations of logic programming by J. W. Lloyd. by Lloyd, J. W Series: Symbolic computation Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N847;2. Place hold
	460.	Mathematics of inheritance systems by David S. Touretzky by Touretzky, David S Series: Research notes in artificial intelligence Material type: Book Publication details: London Pitman 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8622.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.