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

Results
	61.	Digital system design using programmable logic devices. by Parag K Lala by Lala, Parag K Series: Prentice-Hall series in computer engineering ; Material type: Book Publication details: Englewood Cliffs Prentice Hall 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.395 N909. Place hold
	62.	Foundations of logic programming. by J.W.Lloyd by Llyod, J.W Series: Springer series in symbolic computation- Artificial intelligence Edition: 2nd. Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N871.
	63.	Computability, computable functions, logic, and the foundations of mathematics by Richard L. Epstein, Walter A. Carnielli by Epstein, Richard L Carnielli, Walter A Series: Wadsworth & Brooks/Cole mathematics series Material type: Book Publication details: Pacific Grove Wadsworth and Books 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N897. Place hold
	64.	Design of a microprocessor, with contributions by members of the IBM development team by Wilhelm G. Spruth. by Spruth, Wilhelm. G Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3916 N892;1.
	65.	No cover image available Architectural support for concurrent logic programming languages by Leon Alkalaj by Alkalaj, Leon Material type: Book Publication details: Ann Arbor UMI 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.2 N893.
	66.	Non-monotonic reasoning formalization of commonsense reasoning by Witold Lukaszewicz. by Lukaszewicz, Witold Series: Ellis Horwood series in artificial intelligence Material type: Book Publication details: New York Ellis Horwood 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N9011.
	67.	Termination proofs for logic programs by Lutz Plumer by Plumer, Lutz Series: Lecture notes in artificial intelligence ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N9040.
	68.	Logic for computer science by Steve Reeves, Michael Clarke. by Reeves, Steve Clarke, Michael Series: International Computer Science series Material type: Book Publication details: Wokingham A-W 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015113 N90.
	69.	Digital design by M. Morris Mano. by Mano, M. Morris Material type: Book Publication details: Englewood Cliffs Prentice hall of india 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.3815 N8410. (1 votes) Place hold
	70.	Fundamentals of logic design and switching theory by Arthur D. Friedman by Friedman, Arthur D Series: Other books of interest from computer science press ; Material type: Book Publication details: Maryland Comp.Science Press 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8623.
	71.	Abductive inference models for diagnostic problem-solving by Yun Pebg, James A. Reggia. by Peng, Yun Reggia, James A Series: Springer series symbolic computation- Artificial intelligece Material type: Book Publication details: New York Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N909;1.
	72.	Nonmonotonic and inductive logic ed. by J. Dix, K. P. Jantke, P. H. Schmitt. by Dix, J., ed Jantke, K. P., ed Schmitt, P. H., ed Series: Lecture notes in artificial intelligence ; 543 Material type: Book Publication details: Berlin S-V 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N9110.
	73.	Algebra, combinatorics and logic in computer science ed. by J. Demetrovics, G. Katona, A. Salomaa by Demetrovics, J., ed Katona, G., ed Salomaa, A., ed Series: Colloquia Mathematic Janos Bolyai ; 42 Material type: Book Publication details: Amsterdam N-H 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N864.1. Place hold
	74.	Field-programmable gate arrays by Stephen D. Brown... et al by Brown, Stephen D Series: Kluwer International Series in Engineering and Computer Science ; Material type: Book Publication details: Boston KAP 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N9216.
	75.	No cover image available BICMOS / CMOS systems design /by James E. Buchanan. by Buchanan, James E Material type: Book Publication details: New York MGH 1991 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 621.395 N919.
	76.	Varieties of constructive mathematics by Douglas Bridges, Fred Richman by Bridges, Douglas Richman, fred Series: London Mathematical Society Lecture Notes series 97 Material type: Book Publication details: Cambridge CUP 1987 Availability: Items available for reference: Instrumentation and Applied Physics: Not for loan (1)Call number: 511.3 N875.
	77.	Logic from computer science ed. by Y. N. Moschovakis by proceedings of a workshop held 1989 Moschovakis, Y. N Series: Mathematical Sciences Research Institute Publication V.21 Material type: Book Publication details: New York Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N92.
	78.	Many valued logics - V.1 Theoretical foundations by Leonard Bolc, Piotr Borowik by Bolc, Leonard Borowik, Piotr Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N921.1.
	79.	Temporal logic of reactive and concurrent systems specifications by Zohar Manna, Amir Pnueli by Manna, Zohar Pnueli, Amir Material type: Book Publication details: New York Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N92;2. Place hold
	80.	Sequential logic synthesis by by Pranav Ashar, Srinivas Devadas and A. Richard Newton Ashar, Pranav Devadas, Srinivas Newton, A. Richard Series: Kluwer International Series in Engineering and Computer Science Material type: Book Publication details: Boston KAP 1992 Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 621.395 N9214.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.