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

Results
	41.	Introduction to default logic by Besnard, Philippe Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N897;1. Place hold
	42.	Proof theory an introduction by Wolfram Pohlers by Pohlers, Wolfram Series: Lecture notes in mathematics V.1407 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N894. Place hold
	43.	Constraint satisfaction in logic programming. by Pascal Van Henteryck. by Van Hentenryck, Pascal Series: Logic programming ; Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8934.
	44.	Logical design of automation systems by Sander B Friedman by Friedman, Sander B Material type: Book Publication details: Englewood Cliffs Prentice hall 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 670.427 N90. Place hold
	45.	No cover image available Constraint satisfaction in Logic programming by Pascal Van Hentenryck by Van Hentenryck, Pascal Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8910;1.
	46.	Design of a microprocessor by G Wilhelm Spruth by Spruth, Wilhelm G Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3916 N892;2.
	47.	Computability, complexity, logic by E. Borger by Borger, E Series: Studies in logic and the foundations of mathematics V.128 Material type: Book Publication details: Amsterdam North-Holland 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N895.
	48.	Categorical methods in computer science with aspects from topology ed. by H. Ehrig, H. Herrlich, H. J. Krewoski. by Ehrig, H., ed Herrlich, H., ed Kewoski, H. J., ed Series: Lecture notes in computer science ; 393 Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N892.
	49.	Decision tables in software engineering. by Richard B. Hurley. by Hurley, Richard B Series: Van Nostrand Reinhold Data Processing Series ; Material type: Book Publication details: New York VNR 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12028 N83.
	50.	First-order logic and automated theorem proving. by Melvin Fitting. by Fitting, Melvin Series: Texts and Monographs in computer science Material type: Book Publication details: New York S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N901.
	51.	Digital circuits and logic design by Samuel C Lee by Lee, Samuel C Material type: Book Publication details: New Delhi PHI 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.381537 N89. Place hold
	52.	No cover image available Logical charecterization of asynchronously communicating agents. by Christensen, Soren Series: Aarhus Univ., Computer Science Dept, DAIMIPB-309 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36015113 N901. Place hold
	53.	No cover image available Elementary transition systems /by. M. Nielson, G. Rozenberg, P.S. Thiagarajan. by Nielson, M Rozenberg, G Thiagarajan, P.S Series: Aarhus Univ. Computer Science Dept. D A I M I P B 310 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36015113 N90. Place hold
	54.	No cover image available Compositional checking of validity. by Winksel, Glynn Series: Aarhus Univ. Computer Science Dept, DAIMI PB 324 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N90.
	55.	No cover image available Data flow analysis as model checking. by Steffen. Bernhard Series: Aarhus University, Computer Science Dept. DIAMI PB-325 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N90.
	56.	Induction processes of inference, learning and discovery by John H Holland et.al. by Holland, John H et.al Holyoak, Keith J Nishett, Richard E Series: Computational models of cognition and perception Material type: Book Publication details: Cambridge MIT Press 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 153.432 N89.
	57.	Digital design with standard MSI and LSI : design techniques for the microcomputer age by Thomas R Blakeslee by Blakeslee, Thomas R Edition: 2nd Material type: Book Publication details: New York Wiley 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N79;1.
	58.	CMOS/TTL digital systems design by James E. Buchanan by Buchanan, James E Material type: Book Publication details: New York McGraw-Hill 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.38152 N90. Place hold
	59.	Logic and computer science ed. by Piergiorgio Odifreddi. by Odifreddi, Piergiorgio., ed Material type: Book Publication details: London Academic press 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N905.
	60.	Abductive inference models for diagnostic problem solving by Yun Peng and James A. Reggia by Peng, Yun Reggia, James A Series: Springer series symbolic computation-Artificial intelligence ; 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 N9034.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.