Sequential Construction of Logical Forms.

Wilfried Meyer-Viol

Published in: LACL (1998)

Keyphrases

metadata
artificial intelligence
construction process
real time
data structure
learning environment
cooperative
logical framework
logical properties