First International Workshop on Larch
by International Workshop on Larch (1st 1992 Dedham, Mass.), Jeannette M. Wing
Automatic theorem provingCongressesLarch prover
Writing a summary for young readers…
For young readers
Book data: Open Library
by International Workshop on Larch (1st 1992 Dedham, Mass.), Jeannette M. Wing
Book data: Open Library