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)

相似书籍