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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
72
(1)
Show More
Show Less
Author
Letelier Torres, Patricio
(1)
Pastor López, Óscar
(1)
Ramos Salavert, Isidro
(1)
Sánchez Palma, Pedro
(1)
Show More
Show Less
Subject
Lenguajes y Sistemas Informáticos
(1)
Lógica dinámica
(1)
OASIS
(1)
Álgebra de procesos para Objetos (APO)
(1)
Show More
Show Less
Year
1998
(1)
Show More
Show Less
Document Type
Sin Especificar
(1)
Show More
Show Less
Language
Español
(1)
Show More
Show Less
Your search
Subject:
-methylenation
Year:
1998
Repository:
72
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
1-1 from
1
results
(0.008 seconds)
Title:
Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso
Author:
Letelier Torres, Patricio
/
Sánchez Palma, Pedro
/
Ramos Salavert, Isidro
/
Pastor López, Óscar
Language:
Español
Repository:
72
Subject:
OASIS
/
Lógica dinámica
/
Álgebra de procesos para Objetos (APO)
/
Lenguajes y Sistemas Informáticos
Acceder
« Previous
1
Next »