Results of search for 'su:{Computer logic.}' › National Library of India catalog

Results
	1.	Formal language and automata theory / P. Santosh Kumar Patra . . . [et.al.] by Patra, P. Santosh Kumar [jt. auth.] Publication details: Hyderabad : Spectrum Publishing House, 2022 Availability: Items available for loan: National Library of India (1)Call number: E 004.0151 F 765. Place hold Request article Save to lists
	2.	Artificial Intelligence Logic and Applications [electronic resource] : The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings / edited by Songmao Zhang, Yonggang Zhang. by Zhang, Songmao [editor.] Zhang, Yonggang [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	3.	Language, Logic, and Computation [electronic resource] : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / edited by Aybüke Özgün, Yulia Zinova. by Özgün, Aybüke [editor.] Zinova, Yulia [editor.] Series: Lecture Notes in Computer Science ; 13206 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: (1)Call number: 005.131. Place hold Save to lists
	4.	Handbook of Logical Thought in India [electronic resource] / edited by Sundar Sarukkai, Mihir Kumar Chakraborty. by Sarukkai, Sundar [editor.] Chakraborty, Mihir Kumar [editor.] Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: New Delhi : Springer India : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 160. Place hold Save to lists
	5.	Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa. by Areces, Carlos [editor.] Costa, Diana [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 160. Place hold Save to lists
	6.	Fuzzy logic/ Daniel McNeill and Paul Freiberger by Mcneill, Daniel Fre Berger, Paul [jt aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York: Simon and Schuster, 1993 Availability: Items available for loan: National Library of India (1)Call number: E 629.836 M 233. Place hold Request article Save to lists
	7.	No cover image available Computer logic : the functional design of digital computers / Ivan Flores by Flores, Ivan Series: Prentice-Hall electrical engineering series Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1960 Availability: Items available for loan: National Library of India (1)Call number: E510.7834 F663. Place hold Request article Save to lists
	8.	Propositional logic : deduction and algorithms / Hans Kleine Buning [and] Theodor Lettman by Buning, Hans Kleine Lettman, Theodor [jt.aut] Series: Cambridge tracts in theoretical computer science ; v. 48 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge : The University Press, 1999 Availability: Items available for loan: National Library of India (1)Call number: E160 B883. Place hold Request article Save to lists
	9.	Logic design / K. Venkataraju by Venkataraju, K Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi: I.K.International Publishing House , 2015 Availability: Items available for loan: National Library of India (1)Call number: E 621.395 V 559. Place hold Request article Save to lists
	10.	Logic, Language, Information, and Computation [electronic resource] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings / edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz. by Ciabattoni, Agata [editor.] Pimentel, Elaine [editor.] de Queiroz, Ruy J. G. B [editor.] Series: Lecture Notes in Computer Science ; 13468 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 160. Place hold Save to lists
	11.	Dag Prawitz on Proofs and Meaning [electronic resource] / edited by Heinrich Wansing. by Wansing, Heinrich [edt] Series: Outstanding Contributions to Logic ; 7 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	12.	Dynamic logic/ David Harel, Dexter Kozen, Jerzy Tiuryn by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: New Delhi : Prentice-Hall, 2007 Availability: Items available for loan: National Library of India (1)Call number: E 004.015113 H 222. Place hold Request article Save to lists
	13.	logic design: a review of theory and practice/ Glen G. Langdon by Langdon, Glen G Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York: Academic Press, 1974 Availability: Items available for loan: National Library of India (1)Call number: E 621.381958 L 259. Place hold Request article Save to lists
	14.	No cover image available Threshold logic : a synthesis approach / Michael L. Dertouzos by Dertouzos, Michael L Series: Research monograph ; no. 32 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge : M.I.T. Press, c1965 Availability: Items available for loan: National Library of India (1)Call number: E164 D448. Place hold Request article Save to lists
	15.	The essence of logic / John J. Kelly by Kelly, John J. (John Joseph), 1940-1995 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice-Hall of India, c1997 Availability: Items available for loan: National Library of India (1)Call number: E160 K297. Place hold Request article Save to lists
	16.	R-Calculus, III: Post Three-Valued Logic [electronic resource] / by Wei Li, Yuefei Sui. by Li, Wei [author.] Sui, Yuefei [author.] Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.131. Place hold Save to lists
	17.	Logics for computer science/ Arindama Singh by Singh, Arindama Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi: Prentice-Hall, c2003 Availability: Items available for loan: National Library of India (1)Call number: E 621.395 Si 64. Place hold Request article Save to lists
	18.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [edt] Nerode, Anil [edt] Series: Lecture Notes in Computer Science ; 7734 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	19.	The logic of programming / Eric C. R. Hehner by Hehner, Eric C. R Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Prentice-Hall of India, 1991 Availability: Items available for loan: National Library of India (1)Call number: E519.7 H362. Place hold Request article Save to lists
	20.	Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi. by Muggleton, Stephen H [edt] Tamaddoni-Nezhad, Alireza [edt] Lisi, Francesca A [edt] Series: Lecture Notes in Computer Science ; 7207 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1052 results.