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

Results
	21.	Logic design of digital systems by Donald L. Dietmeyer. by Dietmeyer, Donald L Edition: 3rd. Material type: Book Publication details: Boston Allyn & Bacon 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38195835 N88.
	22.	Introduction to Hilbert space and quantum logic. by David W. Cohen. by Cohen, David W Series: Problem books in mathematics Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515.73 N892.
	23.	Communication complexity a new approach to circuit depth. by Mauricio Karchmer by Karchmer, Mauricio Series: ACM doctoral dissertation award 1988 Material type: Book Publication details: Cambridge MIT Press 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.381952 N894. Place hold
	24.	Temporal logic of programs. by Fred Kroger by Kroger, Fred Series: EATCS Monographs on theoretical computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N873.
	25.	Computing with logic : logic programming with prolog by David Maier and David S. Warren. by Maier, David Warren, David S Material type: Book Publication details: Menlo park Benjamin Cummings 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8833.
	26.	Modified branching programs and their computational power. by Christoph Meinel. by Meinel, Christoph Series: Lecture notes in computer science ; 370 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.8 N89.
	27.	Logic grammars by Harvey Abramson and Veronica Dahl. by Abramson, Harvey Dahl, Veronica Series: Symbolic computation-artificial intelligence ; Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8936.
	28.	Logic programming by Giorgio Levi and Maurizio Martelli. by Levi, Giorgio Martelli, Maurizio Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N89.
	29.	Computational logic handbook by Robert S. Boyer, J. Strother Moore by Boyer, Robert S Moore, Strother J Series: Perspectives in computing V.23 Material type: Book Publication details: Boston Academic Press 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N885.
	30.	From Standard Logic to Logic Programming Introducing a Logic Based Approach to Artificial Intelligence ed by Andre, Thayse by Thayse, Andre Material type: Book Publication details: Chichester Wiley 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8837.
	31.	Foundations of equational logic programming. by Steffen Holldobler by Holldobler, Steffen Series: Lecture notes in artificial intelligence ; 353 Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8932.
	32.	Modern logic design. by David Green by Green, David Series: Electronic systems engineering series ; Material type: Book Publication details: Workingham Addison-Wesley 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8621.
	33.	Logic design with pascal : computer aided design techniques by Thomas Downs and Mark F. Schulz. by Downs, Thomas Schulz, Mark F Material type: Book Publication details: New York Van Nostrand 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3950285 N88.
	34.	Logic minimization algorithms for VLSI synthesis by Robert K Brayton... et al by Brayton, Robert K Series: Kluwer international series in engineering and computer science ; Material type: Book Publication details: Boston Kluwer Academic 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N84.
	35.	No cover image available Introduction to switching theory and logical design by Frederick J. Hill and Gerald R. Peterson. by Hill, Frederick J Peterson, Gerald R., ed Edition: 3rd. Material type: Book Publication details: New York Wiley 1981 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 621.381537 N81.
	36.	Digital design with standard MSI and LSI. 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.38195835 N79.
	37.	Logic minimization algorithms for VLSI synthesis /by Robert K. Brayton [et.al] by Brayton, Robert K. Hachtel, Gary D Series: Kluwer international series in engineering and computer science Material type: Book Publication details: Boston Kluwer Academic Publ. 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38173 N847;2.
	38.	Digital design fundamentals by Kenneth J. Breeding by Breeding, Kenneth J Material type: Book Publication details: Englewood Cliffs Prentice-Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3815 N89;2.
	39.	Introduction to default logic. by Philippe Besnard. by Besnard, Philippe Series: Symbolic computation- Artificial intelligence ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8935.
	40.	Systems of logic by Norman M. Martin by Martin, Norman M Material type: Book Publication details: Cambridge Cambridge University Press 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 160 N89.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.