Logic and automata history and perspectives /

Saved in:

书目详细资料
企业作者:	ebrary, Inc
其他作者:	Flum, Jörg, Grädel, Erich, 1958-, Wilke, Thomas, 1965-
格式:	电子电子书
语言:	英语
出版:	Amsterdam : Amsterdam University Press, c2008.
丛编:	Texts in logic and games ; v. 2.
主题:	Machine theory. Logic, Symbolic and mathematical. Computer science > Mathematics. Computational complexity. Electronic books.
在线阅读:	An electronic book accessible through the World Wide Web; click to view
标签:	添加标签没有标签, 成为第一个标记此记录!

因特网