Article ISI
GAMES AND LEARNING ALLIANCE, GALA 2024  (2005)

Deductive systems' representation and an incompleteness result in the situation calculus

Sáez, P

Más información

Título según WOS: Deductive systems' representation and an incompleteness result in the situation calculus
Título de la Revista: GAMES AND LEARNING ALLIANCE, GALA 2024
Volumen: 3789
Editorial: SPRINGER INTERNATIONAL PUBLISHING AG
Fecha de publicación: 2005
Página de inicio: 119
Página final: 131
Idioma: English
Notas: ISI