CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / edited by Bernhard Möller.

by MPC (3º : 1995 : Kloster Irsee, Germany) | Möller, Bernhard, 1953- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 947 ] (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