Basket

Record was added to the basket

1.Logic programming and automated reasoning
Borrow

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
From the basket
Citation
Bookmark

Selected documents
Citation

citace PRO
book
Borrow

For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.