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: 37 Year: 1995 Year: 2012

Sort by Score Title Year -

1-10 from 10 results (0.013 seconds)

Title: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder
Title: Listas: Una Formalización Relacional
Author: Martínez López, Pablo E. / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / PROGRAMMING LANGUAGES / fork álgebras / construcción formal de programas / teoría de listas / tipos de datos

Acceder
Title: Especificación e implementación de un lenguaje de programación lógica con tipos
Author: Delrieux, Claudio / Cáccamo, Mario
Language: Español
Repository: 37
Subject: Ciencias Informáticas / PROGRAMMING LANGUAGES / Programación Lógica / Logic Programming / Teoría de Tipos / Metaintérpretes

Acceder
Title: Compilación de programas lógicos que utilizan la negación por falla : Una extensión de la máquina abstracta de Warren
Author: García, Alejandro Javier / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Programación en lógica / PROGRAMMING LANGUAGES / Logic Programming / máquina abstracta de Warren

Acceder
Title: Planificación de procesos para la interpretación de programación en lógica concurrente en PROLOG secuencial
Author: Maguitman, Ana Gabriela / Delrieux, Claudio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / PROGRAMMING LANGUAGES / Planificación de Procesos / Lógica Concurrente / PROLOG Secuencial

Acceder
Title: Estructuras enlazadas : Una aproximación independiente de la implementación
Author: Señas, Perla / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / estructuras enlazadas / Languages / universidad / estructuras dinámicas / lenguaje de diseño

Acceder
Title: Un método riguroso para la reusabilidad de software orientado a objetos
Author: Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / reusabilidad / Software / Data models / especificaciones algebraicas / programación transfonnacional / programación orientada a objetos

Acceder
Title: Un análisis sobre la lógica difusa como herramienta para la representación de conocimiento
Author: Fillottrani, Pablo Rubén
Language: Español
Repository: 37
Subject: Ciencias Informáticas / herramientas / lógica difusa / ARTIFICIAL INTELLIGENCE / Conocimiento / representación de conocimiento / análisis

Acceder
Title: On the logic for utopia
Author: Areces, Carlos Eduardo / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / theory of conditionals / modal logic / knowledge representation

Acceder
Title: Una implementación de disputación basada en lógica default
Author: Vaucheret, Claudio A. / Parra, Gerardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Implementación de Disputación / Lógica Default / ARTIFICIAL INTELLIGENCE

Acceder

« Previous 1 Next »