On procedure recognition in the situation calculus

Baier, JA

Más información

Título según WOS: On procedure recognition in the situation calculus
Título de la Revista: XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS
Editorial: IEEE COMPUTER SOC
Fecha de publicación: 2002
Página de inicio: 33
Página final: 42
Idioma: English
Notas: ISI