Nerode, Anil.

概要

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

書目資訊

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service) (書目-電子資源)

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

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

Logical foundations of computer scienceInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings / by: (1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service) (書目-電子資源)

Logic programming and nonmonotonic reasoning4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / by: (1998 :); Dix, Jurgen.; Fuhrbach, Ulrich.; Nerode, Anil.; SpringerLink (Online service) (書目-電子資源)

Logical foundations of computer science4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / by: (1998 :); Adian, Sergei.; Nerode, Anil.; SpringerLink (Online service) (書目-電子資源)

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

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

主題