CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Word equations and related topics / ed. Klaus Ulrich Schulz. - Berlin : Springer, 1992. - 256 p. : il. ; 24 cm. - Lecture notes in computer science ; v. 572 LNCS ; v. 572 .

3540551247


Lógica matemática-Computación.
Mathematical logic-Computation.
Gramáticas y otros sistemas de reescritura.
Grammars and other rewriting systems.
Lenguajes formales.
Formal languages.
Estructura de datos.
Data structures.
Deducción y prueba de teoremas.
Deduction and theorem proving.

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

publicofamaf@gmail.com