The little prover /

Saved in:

書目詳細資料
Main Authors:	Friedman, Daniel P. (Author), Eastlund, Carl (Author)
其他作者:	Bibby, Duane (Illustrator), Moore, J. Strother (Author of introduction, etc.), Felleisen, Matthias (Author of afterword, colophon, etc.)
格式:	電子電子書
語言:	英语
出版:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
主題:	Automatic theorem proving. LISP (Computer program language) Electronic books.
在線閱讀:	An electronic book accessible through the World Wide Web; click to view
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

實物特徵
實物描述:	1 online resource (244 pages) : illustrations
參考書目:	Includes bibliographical references and index.
ISBN:	9780262330565 (e-book)

相似書籍