Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A formal model for temporal knowledge based systems verification

Autor
Sierra-Santibáñez, J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
META 92 - Third International Workshop on Meta-Programming in Logic
Any de l'edició
1992
Llibre d'actes
Proceedings of the Third International Workshop on Meta-Programming in Logic, META-92
Pàgina inicial
119
Pàgina final
121
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants