Article ISI
STRING PROCESSING AND INFORMATION RETRIEVAL, SPIRE 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: STRING PROCESSING AND INFORMATION RETRIEVAL, SPIRE 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