![]() |
Biblioteca Dr. Antonio Monteiro · Catálogo |
Baader, Franz. | ||||
1. | Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / by Franz Baader, Andrei Voronkov. | 2005 | e-book | SpringerLink, via BECYT |
2. | Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. | 2007 | e-book | SpringerLink, via BECYT |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com