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

Results
	121.	Design and implementation of symbolic computation systems. by Miola, A International Symposium DISCO '90. Capri 1990 Series: Lecture notes in computer science ; 429 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N901.
	122.	Multiple valued logic. ISMVL 1991 Proceedings by IEEE International symposium on multiple-valued logic (21 1991 Victoria) Material type: Book Publication details: New York IEEE 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.395 N914 "SER". Place hold
	123.	Multiple valued logic. ISMVL 1992. Proceedings by IEEE International symposium on Multiple valued logic (22 1992 Sendai) Material type: Book Publication details: Los Alamitos IEEE 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N929 "SER".
	124.	Multiple valued logic. ISMVL 1989. Proceedings by IEEE International symposium on multiple-valued logic (19 1989 Guangzhou) Material type: Book Publication details: New York IEEE 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8911 "SER".
	125.	Meta-programming in logic - Proceedings ed. by A. Pettorossi by 3rd International Workshop, META'92, Uppasala, Sweden, June 10-12, 1992 Pettorossi, A., ed Series: Lecture Notes in computer science ; 649 Material type: Book Publication details: Berin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N921.
	126.	Mathematical foundations of programming semantics ed by M Main, et al by Intl. Conf. on Mathematical foundations...(New Orleans 1989) Main, M., ed Series: Lecture notes in computer science ; 442 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N904.
	127.	Multiple valued logic. ISMVL 1990. Proceedings by IEEE International symposium on multiple valued logic (20 1990 Charlotte) Material type: Book Publication details: New York IEEE 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N908 "SER".
	128.	Mathematics of program construction. by Snepscheut, J.L.A. Vande Intl. Conference on Mathematics of Program Construction. Groningen, Netherlands 1989 Series: Lecture notes in computer science ; 375 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.
	129.	No cover image available Rewriting techniques and applications ed. by Nachum Dershowitz. by Dershowitz, Nachum., ed Intl. Conference on Rewriting Techniques and Applications ( Chapel Hill : 1989 ) Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N898.
	130.	Algebraic and logic programming ed. by J. Grabowski, P. Lescarme and W. Wechler. by Grabowski, J., ed Lescarme, P., ed Wechler, W., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N8820.
	131.	Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ed. by Peter Aczel, Harold Simmons and Stanley S Wainer by ed. by Aczel, Peter Simmons, Harold Wainer, Stanley S Material type: Book Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N925. Place hold
	132.	Logic programming '88 ed. by K. Furukawa, H. Tanaka, T. Fujisaki. by Logic Programming Conference ( Tokyo 1988 ) Furukawa, K., ed. Tanaka, H., ed. Fujisaki, T., ed Series: Lecture notes in artificial intelligence No.383 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 006.3 N899.
	133.	Mathematical foundations of computer science 1986 - Procedings /ed. byJ. Gruska, B. Rovan and J. Wiedermann. by MFCS '86. Bratislava, Czechoslovak 1986 Series: Lecture notes in computer science ; 223 Material type: Book Publication details: Berlin S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N861.
	134.	Mathematical foundations of computer science 1989 /ed. (by) A. Kreczmar and G. Mirkowska. by MFCS '89. Porabka-Kozubniki, Poland 1989 Series: Lecture notes in computer science ; 379 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.131 N894.
	135.	Mathematical foundations of computer science '1990 ed. by B. Rovan by Rovan, B., ed Series: Lecture notes in computer science ; 452 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N90.
	136.	Design system for VLSI circuits logic synthesis & silicon compilation /ed. by G. De Micheli, A. Sangiovanni-Vincentelli, P. Antognetti by De Micheli, G NATO Advanced Study Institute on Logic Synthesis and Silicon Compilation for VLSI Design Sangiovanni-Vincentelli,A Antognetti, P Series: NATO ASI Series ; 136 Material type: Book Publication details: Dordrecht MNP 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N876.
	137.	No cover image available LS / S / TTL logic databook by National Semiconductor Corporation Material type: Book Publication details: Santa Clara NSC 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N8912.
	138.	Logic programming : proceedings of the 1990 North American Conference ed by Saumya Debray and Manuel Hermenegildo. by Debray, Saumya., ed Hermenegildo, Manuel., ed Material type: Book Publication details: Cambridge MIT Press 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.115 N90.
	139.	Mathematical logic Proceedings of the .... /ed. by Petio Petrov Petkov by ed. by Petkov, Petio Petrov Summer School and Conference on Mathematical Logic Material type: Book Publication details: New York Plenum 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N903.
	140.	Logic in computer science. LICS 1992. Proceedings by IEEE Symposium on logic in computer science (7: 1992; Santa Cruz) Material type: Book Publication details: Los Alamitos IEEE 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N921 "SER".

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.