Analítica
|
An extension to EMTPL
|
Cobo, María Laura
|
EN:
WICC 2003 [CD-ROM]
/ Workshop de Investigadores en Ciencias de la Computación (5º : 2003 : Tandil)
Edición: (2003)
(Libro)
|
|
----------
|
Analítica
|
EMTPL and its relation to first order logic
|
Cobo, María Laura
|
EN:
CACIC 2003 [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (9º : 2003 : La Plata)
Edición: 1a ed. (2003)
(CD-ROM)
|
|
----------
|
Analítica
|
Events, time and argumentative systems
|
Cobo, María Laura
|
EN:
CACIC 2005 [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (11er : 2005 : Concordia)
Edición: 1a ed. (2005)
(Libro)
|
|
----------
|
Analítica
|
Fundamentos lógicos e implementación de una extensión a Temporal Prolog
|
Cobo, María Laura
|
EN:
CACIC 97
/ Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata)
Edición: (1997)
(Libro)
|
|
----------
|
Analítica
|
Programación en lógica temporal basada en los operadores since y until
|
Cobo, María Laura
|
EN:
CACIC 97
/ Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata)
Edición: (1997)
(Libro)
|
|
----------
|
Analítica
|
Razonamiento temporal métrico
|
Cobo, María Laura
|
EN:
CACIC 2001 [CD-ROM]
Edición: 1a ed. (2001)
(Libro)
|
|
----------
|
Analítica
|
Revisando bases modales temporales
|
Cobo, María Laura
|
EN:
WICC 2004 [CD-ROM]
/ Workshop de Investigadores en Ciencias de la Computación (6º : 2004 : Neuquén)
Edición: 1a ed. (2004)
(Libro)
|
|
----------
|
Analítica
|
Revisión temporal: Algunos postulados
|
Cobo, María Laura
|
EN:
WICC 2005 [CD-ROM]
/ Workshop de Investigadores en Ciencias de la Computación (7º : 2005 : Río Cuarto)
Edición: 1a ed. (2005)
(Libro)
|
|
----------
|
Analítica
|
Towards a programming languaje based on Prior's metric temporal operators
|
Cobo, María Laura
|
EN:
CACIC [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (5º : 1999 : Tandil)
Edición: (1999)
(Libro)
|
|
----------
|
Analítica
|
Visualización de información de bases de datos heterogéneas
|
Cobo, María Laura
|
EN:
WICC 2003 [CD-ROM]
/ Workshop de Investigadores en Ciencias de la Computación (5º : 2003 : Tandil)
Edición: (2003)
(Libro)
|
|
----------
|