Dynamic reasoning without variables

Materias

• Natural language processing (Computer science)
• Lambda calculus
• Anaphora (Linguistics)

Ediciones (1)

• Dynamic reasoning without variables (1997)

  Institute for Logic, Language and Computation (ILLC), University of Amsterdam · inglés

Más obras de J. van Eijck