Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä.
Material type:
Computer fileSeries: Lecture Notes in Computer Science, 4670Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Edition: 1a. edDescription: v.: digitalISBN: 9783540746102Subject(s): Computer science | Logic design | Artificial intelligence | Computer Science | Programming Techniques | Artificial Intelligence (incl. Robotics) | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesLOC classification: QA76.63 | D34 2007Online resources: Click here to access online
In:
Springer eBooks
| Item type | Current location | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Colección Digital
|
QA76.63 D34 2007 (Browse shelf) | BDIG00010711 | Link to resource | 1 | Available | SpringerLink | BDIG00010711 |
There are no comments on this title.