Jump to main content

yr 〜
yr

Search results 8

Logical foundations of computer science : international symposium, LFCS 2013 : San Diego, CA, USA, January 6-8, 2013 : proceedings : Jan 2013, San Diego, CA. (Lecture Notes in Computer Science ; 7734)

Logical foundations of computer science : international symposium, LFCS 2013 : San Diego, CA, USA, January 6-8, 2013 : proceedings : Jan 2013, San Diego, CA. (Lecture Notes in Computer Science ; 7734)
Paper図書
Springerc2013.<M17-13-1534>
National Diet Library
  • Author HeadingLFCS 2013 (2013: San Diego, Calif.) Artemov, S. N. Nerode, Anil, 1932-

Logical foundations of computer science : international symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings. : Jan 2009, Deerfield Beach, FL. (Lecture Notes in Computer Science ; 5407)

Logical foundations of computer science : international symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings. : Jan 2009, Deerfield Beach, FL. (Lecture Notes in Computer Science ; 5407)
Paper図書
Springerc2009.<M17-10-538>
National Diet Library
  • Author HeadingArtemov, S. N. Nerode, Anil, 1932- LFCS 2009 (2009 : Deerfield B...

Logical foundations of computer science : international symposium, LFCS 2007 : New York, NY, USA, June 4-7, 2007 : proceedings. : Jun 2007, New York, NY. (Lecture Notes in Computer Science ; 4514)

Logical foundations of computer science : international symposium, LFCS 2007 : New York, NY, USA, June 4-7, 2007 : proceedings. : Jun 2007, New York, NY. (Lecture Notes in Computer Science ; 4514)
Paper図書
Springerc2007.<M17-07-1827>
National Diet Library
  • Author HeadingArtemov, S. N. Nerode, Anil, 1932- LFCS 2007 (2007 : New York, N...

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu.V. Matiyasevich (eds.). (Lecture notes in computer science)

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu.V. Matiyasevich (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9321>
National Diet Library
  • Author HeadingNerode, Anil, 1932- Matii͡asevich, I͡U. V. (I͡Uri...

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.). (Lecture notes in artificial intelligence)

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.). (Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1995.<M15-A9662>
National Diet Library
  • Author Heading...iktor) , 1943- Nerode, Anil, 1932- Truszczyński, Mirosław.

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / A. Nerode, M. Taitslin (eds.). (Lecture notes in computer science)

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / A. Nerode, M. Taitslin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8287>
National Diet Library
  • Author HeadingTver '92 (1992 : Tver, Russia) Nerode, Anil, 1932- Taitslin, M. A. (Mikhail A.) ...

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)
Paper図書
American Mathematical Society1985.<M15-A1069>
National Diet Library
  • Author HeadingNerode, Anil, 1932- Shore, Richard A., 1946- Amer...

Combinatorial functors [by] J. N. Crossley [and] Anil Nerode. (Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 81)

Combinatorial functors [by] J. N. Crossley [and] Anil Nerode. (Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 81)
Paper図書
Springer-Verlag1974.<MA41-67>
National Diet Library
  • Author HeadingCrossley, John N Nerode, Anil, 1932-

Reached to the end of result.

RSS