Grammatical Inference
Mathematics for Computer Science
Learnable Representations for Natural Language
Composition and Literature: A Handbook and Anthology
Light, charges and brains
Mathematics for Computer Science
Principles of Computer Systems
Weighted Deduction as an Abstraction Level for AI
Natural Language and the Computer Representation of Knowledge
Great Ideas in Theoretical Computer Science