Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...Incremental natural language description of dynamic imagery -- Modelling text coherence: events...”