Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.). by International Workshop on Logic Program Synthesis and Transformation (6th : 1996 : Stockholm, Sweden) Gallagher, John (John P.) Series: Lecture notes in computer science ; 1207. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997 Other title: LOPSTR '96 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday / Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi, editors. by Lopez-Garcia, Pedro (Computer scientist) [editor.] Gallagher, John (John P.) [editor.] Giacobazzi, Roberto [editor.] Hermenegildo, Manuel [honouree.] Series: Lecture notes in computer science ; 13160. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, [2023]Copyright date: ©2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search