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 program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings / Maurizio Proietti (ed.). by Series: Lecture notes in computer science ; 1048.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1996
Other title:
  • LOPSTR '95
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers / Maurizio Proietti, Hirohisa Seki (eds.). by Series: Lecture notes in computer science ; 8981. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • LOPSTR 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha