Dynamic reasoning without variables
by J. van Eijck, Universiteit van Amsterdam. Institute for Logic, Language and Computation
Natural language processing (Computer science)Lambda calculusAnaphora (Linguistics)
Writing a summary for young readers…
For young readers
Book data: Open Library