Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Term rewriting and all that / Franz Baader and Tobias Nipkow by Baader, Franz Material type Libro; Format: impreso Publication: Cambridge : Cambridge University Press, 1999 Physical description: XII, 301 p. : 25 cm Availability: Items available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [512/BAA/ter] (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL [512/BAA/ter] (2),

Place hold Log in to add tags. Add to cart
2. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) [Recurso electrónico] / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings edited by Franz Baader, Andrei Voronkov. by Baader, Franz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

3. Term Rewriting and Applications [Recurso electrónico] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. by Baader, Franz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Powered by Koha