Logical environments
by G. Plotkin
CongressesSymbolic and mathematical LogicArtificial intelligenceAutomatic theorem provingLogic, symbolic and mathematicalFrames (Information theory)LogicComputer science
Writing a summary for young readers…
For young readers
Book data: Open Library