Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov.
Material type:
Item type | Current location | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Colección Digital
|
QA76.63 D47 2007 (Browse shelf) | BDIG00010707 | Link to resource | 1 | Available | SpringerLink | BDIG00010707 |
There are no comments on this title.