author:Nerode, Anil | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Nerode, Anil／Greenberg, Noam

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues)

Artemov, Sergei／Nerode, Anil

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science, 4514)

Nerode, Anil／Artemov, Sergei N.

Hybrid Systems V (Lecture Notes in Computer Science, 1567)

Nerode, Anil／Sastry, Shankar／Lemmon, Michael／Kohn, Wolf／Antsaklis, Panos J.

Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop (The MIT Press)

Nerode, Anil／Marek, Wiktor／Subrahmanian, V. S.

Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge)

Crossley, J.N.／Nerode, Anil

Recursion Theory (Proceedings of Symposia in Pure Mathematics)

Nerode, Anil／Shore, Richard A.

Combinatorial functors [by] J. N. Crossley [and] Anil Nerode

Nerode,Anil,1932- Crossley,JohnN

Principles of logic and logic programming

Metakides,George Nerode,Anil Sinochopoulos,A.

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)

Marek,V.W.(V.Wiktor),1943- Nerode,Anil,1932- ほか

1
2
3