OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Repository: 30 Language: Español Year: 2012 Document Type: Tesis

Sort by Score Title Year -

1-4 from 4 results (0.013 seconds)

Title: Verificación formal en ACL2 del algoritmo de Buchberger / Formal verification of Buchberger's algorithm in ACL2
Author: Medina Bulo, Inmaculada
Language: Español
Repository: 30
Subject: computer science / mathematics / ciencia de la computación / matemáticas / artificial intelligence / inteligencia artificial

AccederAcceder
Title: Consideraciones teóricas acerca de la elipsis: Repercusiones semánticas y lexicográficas de la elipsis originadas en combinatoria léxica / Theoretical considerations about ellipsis: Semantic and lexicographic repercussions of ellipsis originated by lexical combination
Author: Paredes Duarte, María Jesús
Language: Español
Repository: 30
Subject: language, linguistics / language, rhetoric and composition / semántica / lexicografía

AccederAcceder
Title: Technology-Enhanced Learning y Model-Driven Development: Revisión Sistemática de la Literatura
Author: Tena Rastrollo, Francisco José
Language: Español
Repository: 30
Subject: Technology-Enhanced Learning / Model-Driven Development / Revisión Sistemática de la Literatura

Acceder
Title: Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos / Investigations on categorial grammars: Parsing algorithms and equivalence of formalisms
Author: Jiménez Millán, José Antonio
Language: Español
Repository: 30
Subject: language, linguistics / computer science / lingüística / informática

AccederAcceder

« Previous 1 Next »