大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Nerode 的图书(共4本)

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

0
索取号：
作者：Artemov、 Sergei.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic for applications = 应用逻辑

0
索取号：TP301/E20071.2
作者：Nerode、 Anil、 1932-、Shore、 Richard A.、 1946-、
出版社：北京 : China Machine Press, 2006.

Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

0
索取号：TP301-532/E991/4
作者：LFCS ʼ97 (4th : 1997 : Yaroslavĺ、 Russia (City))、Ad︠i︡an、 S. I.、Nerode、 Anil、 1932-、
出版社：Berlin : Springer, c1997.