- ECU Libraries Catalog

Start Over

You searched for: author_facet Gallagher, John P.

Showing 1 - 4 of 4 results

Search Results

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

by Lopez-Garcia, Pedro
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings

by Gallagher, John P.
2018
Format: Electronic

Location
Access Content Online

Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

by Fioravanti, Fabio
2018
Format: Electronic

Location
Access Content Online

Cover image for Expert systems for scanner data environments

Expert systems for scanner data environments

by McCann, John M.
1990
Format: Book

Location	Call #	Status
Joyner - General Stacks	HF5415.125.M4 1990	✔ Available