Results of search for 'su:{Logic programming}' › National Library of India catalog

Results
	181.	Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [edt] Diaconescu, Răzvan [edt] Țuțu, Ionuț [edt] Series: Lecture Notes in Computer Science ; 9463 Edition: 1st ed. 2015. 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
	182.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] Series: Lecture Notes in Computer Science ; 13701 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: 005.1. Place hold Save to lists
	183.	Dynamics in Logic and Language [electronic resource] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers / edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie. by Deng, Dun [editor.] Liu, Mingming [editor.] Westerståhl, Dag [editor.] Xie, Kaibo [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: 006.35. Place hold Save to lists
	184.	Theoretical Aspects of Computing - ICTAC 2023 [electronic resource] : 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings / edited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa. by Ábrahám, Erika [editor.] Dubslaff, Clemens [editor.] Tarifa, Silvia Lizeth Tapia [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	185.	Unconventional Computation and Natural Computation [electronic resource] : 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings / edited by Daniela Genova, Jarkko Kari. by Genova, Daniela [editor.] Kari, Jarkko [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	186.	Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle. by Glück, Robert [editor.] Kafle, Bishoksan [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	187.	No cover image available Logic synthesis using synopsis/ Pran Kurup and Taber Abbasi by Kurup, Pran Abbasi, Taher [jt aut] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston: Kluwer Academic Pub, c1995 Availability: Items available for loan: National Library of India (1)Call number: E 621.395 K 967. Place hold Request article Save to lists
	188.	Theoretical Aspects of Computing - ICTAC 2022 [electronic resource] : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings / edited by Helmut Seidl, Zhiming Liu, Corina S. Pasareanu. by Seidl, Helmut [editor.] Liu, Zhiming [editor.] Pasareanu, Corina S [editor.] Series: Lecture Notes in Computer Science ; 13572 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: 004.0151. Place hold Save to lists
	189.	Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready. by Bekki, Daisuke [editor.] Mineshima, Koji [editor.] McCready, Elin [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	190.	Programmable logic handbook/ Geoff Bostock by Bostock, Geoff Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford: Newnes, c1993 Availability: Items available for loan: National Library of India (1)Call number: E 621.395 B 651. Place hold Request article Save to lists
	191.	R-Calculus, II: Many-Valued Logics [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
	192.	Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / edited by Rachid Guerraoui, Paolo Romano. by Guerraoui, Rachid [edt] Romano, Paolo [edt] Series: Lecture Notes in Computer Science ; 8913 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
	193.	New Directions in Logic, Language and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / edited by Daniel Lassiter, Marija Slavkovik. by Lassiter, Daniel [edt] Slavkovik, Marija [edt] Series: Lecture Notes in Computer Science ; 7415 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
	194.	Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse. by Ferreira, Carla [editor.] Willemse, Tim A. C [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	195.	Natural language understanding / James Allen by Allen, James, 1950- Series: Benjamin/Cummings series in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Menlo Park, Calif. : Benjamin/Cummings Pub., c1987 Availability: Items available for loan: National Library of India (1)Call number: E 005.3 Al 53. Place hold Request article Save to lists
	196.	Frontiers of Combining Systems [electronic resource] : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise. by Lutz, Carsten [edt] Ranise, Silvio [edt] Series: Lecture Notes in Computer Science ; 9322 Edition: 1st ed. 2015. 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
	197.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler. by Ciardo, Gianfranco [edt] Kindler, Ekkart [edt] Series: Lecture Notes in Computer Science ; 8489 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	198.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Bartocci, Ezio [edt] Ramakrishnan, C. R [edt] Series: Lecture Notes in Computer Science ; 7976 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
	199.	Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / edited by Bernd Fischer, Jaco Geldenhuys. by Fischer, Bernd [edt] Geldenhuys, Jaco [edt] Series: Lecture Notes in Computer Science ; 9232 Edition: 1st ed. 2015. 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
	200.	Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings / edited by Bernd-Holger Schlingloff, Ming Chai. by Schlingloff, Bernd-Holger [editor.] Chai, Ming [editor.] Series: Lecture Notes in Computer Science ; 13550 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: 005.1. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 412 results.