Nerode, Anil.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

Logical foundations of computer science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service) (書目-電子資源)

Algebraic curves and Riemann surfaces for undergraduates = the theory of the donut / by: Nerode, Anil.; SpringerLink (Online service); Greenberg, Noam. (書目-電子資源)

Logical foundations of computer science = 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / by: Nerode, Anil.; SpringerLink (Online service); Adian, Sergei.; LFCS '97 (1997 :) (書目-語言資料,印刷品)

Logical foundations of computer science = international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service); LFCS (Symposium) ((2022 :) (書目-電子資源)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service); LFCS 2009 ((2009 :) (書目-語言資料,印刷品)

Logic programming and nonmonotonic reasoning = 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / by: Dix, Jurgen.; Fuhrbach, Ulrich.; Nerode, Anil.; SpringerLink (Online service); LPNMR '97 ((1997 :) (書目-語言資料,印刷品)

Logical foundations of computer science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service); LFCS (Symposium) ((2020 :) (書目-電子資源)

主題