Logic, Language, and Security
by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov
Writing a summary for young readers…
For young readers
Book data: Open Library
by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov
Book data: Open Library