CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / ed. Michael Hanus, Jan Heering, Karl Meinke.

by Hanus, Michael [ed.] | Heering, Jan [ed.] | Meinke, Karl [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1298 ] (1).
Higher-order algebra, logic and term rewriting / edited by Guilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller.

by International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA (2º : 1995 : Paderborn, Germany) | Dowek, Guilles [ed.] | Heering, Jan [ed.] | Meinke, Karl [ed.] | Möller, Bernhard [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1074 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar