Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus Artículo académico uri icon

fecha de publicación

  • 2005

Número de páginas

  • 12

Página inicial

  • 119

Última página

  • 131

Volumen

  • 3789