Article ISI
BIOINSPIRED SYSTEMS FOR TRANSLATIONAL APPLICATIONS: FROM ROBOTICS TO SOCIAL ENGINEERING, PT II, IWINAC 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: BIOINSPIRED SYSTEMS FOR TRANSLATIONAL APPLICATIONS: FROM ROBOTICS TO SOCIAL ENGINEERING, PT II, IWINAC 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