Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings / Maurizio Gabbrielli, Gopal Gupta (eds.). by Series: Lecture notes in computer science ; 3668.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11562931
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • ICLP 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers / Maurizio Gabbrielli (ed.). by Series: Lecture notes in computer science ; 12042. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2020
Other title:
  • LOPSTR 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha