Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical logic.} and au:Gallagher, John'

	1.	Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings / by Gallagher, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Logic-Based Program Synthesis and Transformation [electronic resource] :27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / by Fioravanti, Fabio [editor.] \| Gallagher, John P [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)