Search results
- Logic program synthesis and transformation : 6th international workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings / editor John Gallagher. Berlin : Springer, 1996 . VI, 324 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / editor Frank Pfenning. Berlin : Springer, 1994 . X, 344 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book