Su búsqueda retornó 18 resultados.

Resultados
	1.	No hay imagen de cubierta disponible Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / Diego Piloni. por Piloni, Diego Ricardo, 1994- Pagano, Miguel María, 1979- [dir.] Vilela, Demetrio Martín, 1969- [dir.] Detalles de publicación: [S.l. : s.n. ], 2018 Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018. Acceso en línea: Acceso a RDU-UNC Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 23 - 23419. Agregar al carrito (remover)
	2.	No hay imagen de cubierta disponible Optimization of automata for natural language dependecy parsing / Martín Ariel Domínguez. por Domínguez, Martín Ariel, 1975- Infante-Lopez, Gabriel Gastón, 1975- [director] Detalles de publicación: [S.l. : s.n. ], 2012 Nota de disertación: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: T C DOM. Agregar al carrito (remover)
	3.	Foundations of software science and computational structures : 0th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Helmut Seidl (ed.). por FOSSACS 2007 (10º : 2007 : Braga, Portugal) Seidl, Helmut [ed.] ETAPS 2007 (2007 : Braga, Portugal) Series Lecture notes in computer science ; v. 4423 \| LNCS ; v. 4423 Detalles de publicación: Berlin ; New York : Springer, 2007 Acceso en línea: Table of contents only Publisher description Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 4423. Agregar al carrito (remover)
	4.	Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / ed. Kai Koskimies. por CC (Conference) (7º : 1998 : Lisboa, Portugal) Koskimies, Kai [ed.] Series Lecture notes in computer science ; v. 1383 \| LNCS ; v. 1383 Detalles de publicación: Berlin : Springer, 1998 Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1383 ej.2, ... Agregar al carrito (remover)
	5.	Computing and combinatorics / ed. Tao Jiang, D. T. Lee. por COCOON (Conference) (3º : 1997 : Shangai, China) Jiang, Tao, 1963- [ed.,] Lee, Der-Tsai [ed.] Series Lecture notes in computer science ; v. 1276 \| LNCS ; v. 1276 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1276 . Agregar al carrito (remover)
	6.	No hay imagen de cubierta disponible New trends in formal languages : control, cooperation and combinatorics / ed. Gheorghe Paun, Arto Salomaa. por Paun, Gheorghe, 1950- [ed.,] Salomaa, Arto, 1934- [ed.] Series Lecture notes in computer science ; LNCS ; v. 1218 Detalles de publicación: Berlin : Springer, 1997 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1218 . Agregar al carrito (remover)
	7.	Graph grammars and their application to computer science / ed. Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg. por International Workshop on Graph Grammars and Their Application to computer science ( 5 : 1994 : Williamsburg, VA, USA) Cuny, Janice [ed.] Ehrig, Hartmut, 1944- [ed.] Engels, Gregor [ed.] Rozenberg, Grzegorz [ed.] Series Lecture notes in computer science ; v. 1073 \| LNCS ; v. 1073 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1073. Agregar al carrito (remover)
	8.	Computing and combinatorics / ed. Jin-Yi Cai, Chak Kuen Wong. por International Computing and Combinatorics Conference (COCOON) (2 : 1996 : Hong Kong) Cai, Jin-Yi, 1961- [ed.,] Wong, Chak Kuen, 1938- [ed.,] Series Lecture notes in computer science ; LNCS ; v. 1090 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1090 . Agregar al carrito (remover)
	9.	Building tightly integrated software development environments : the IPSEN approach / ed. Manfred Nagl. por Nagl, Manfred, 1944- [ed.,] Series Lecture notes in computer science ; LNCS ; v. 1170 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1170 . Agregar al carrito (remover)
	10.	Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings ed. Laurent Miclet, Colin De la Higuera. por International Colloquium on Grammatical Inference (3º : 1996 : Montpellier, France) Miclet, Laurent [ed.] De la Higuera, Colin [ed.] Series Lecture notes in computer science ; v. 1147 \| Lecture notes in computer science. Lecture notes in artificial intelligence Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1147 . Agregar al carrito (remover)
	11.	Static analysis / edited by Radhia Cousot, David A. Schmidt. por International Static Analysis Symposium (3º : 1996 : Aachen, Germany) Cousot, Radhia [ed.] Schmidt, David A, 1953- [ed.,] Series Lecture notes in computer science ; v. 1145 \| LNCS ; v. 1145 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1145 . Agregar al carrito (remover)
	12.	Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings / ed. Herbert Kuchen, S. Doaitse Swierstra. por PLILP ’96 (8º : 1996 : Aachen, Germany) Kuchen, Herbert, 1958- [ed.] Swierstra, S. Doaitse [ed.] Series Lecture notes in computer science ; v. 1140 \| LNCS ; v. 1140 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1140 . Agregar al carrito (remover)
	13.	The data parallel programming model : foundations, HPF realization and scientific applications / edited by Guy-René Perrin, alain Darte. por Perrin, Guy-René [ed.] Darte, Alain [ed.] Series Lecture notes in computer science ; LNCS ; v. 1132 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1132 . Agregar al carrito (remover)
	14.	Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / ed. Michael A. McRobbie, John K. Slaney. por International Conference on Automated Deduction (13 : 1996 : New Brunswick, New Jersey, USA) McRobbie, Michael A [ed.] Slaney, John K [ed.] CADE Series Lecture notes in computer science ; v. 1104 \| Lecture notes in computer science. Lecture notes in artificial intelligence Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1104 . Agregar al carrito (remover)
	15.	Term indexing / Peter Graf. por Graf, Peter, 1966- Series Lecture notes in computer science ; v. 1053 \| Lecture notes in computer science. Lecture notes in artificial intelligence Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1053 . Agregar al carrito (remover)
	16.	Conditional term rewriting systems / ed. Michaël Rusinowitch, Jean-Luc Rémy. por International Workshop CTRS (3º : 1992 : Pount-à-Mousson, France) Rusinowitch, Michaël [ed.] Rémy, Jean-Luc [ed.] Series Lecture notes in computer science ; v. 656 \| LNCS ; v. 656 Detalles de publicación: Berlin : Springer, 1993 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 656 . Agregar al carrito (remover)
	17.	Word equations and related topics / ed. Klaus Ulrich Schulz. por International Workshop on Word Equations and Related Topics (1º : 1990 : Tübingen, Germany) Schulz, Klaus Ulrich, 1957- [ed.,] Series Lecture notes in computer science ; v. 572 \| LNCS ; v. 572 Detalles de publicación: Berlin : Springer, 1992 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 572 . Agregar al carrito (remover)
	18.	Automatic ambiguity resolution in natural language processing : an empirical approach / Alexander Franz. por Franz, Alexander, 1966- Series Lecture notes in computer science ; v. 1171 \| Lecture notes in computer science. Lecture notes in artificial intelligence Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNAI v. 1171 . Agregar al carrito (remover)

Nuestras Redes Sociales

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)

Refinar su búsqueda

Disponibilidad

Autores

Tipos de ítem

Ubicaciones

Series

Temas

Su búsqueda retornó 18 resultados.