Jump to main content

yr 〜
yr

Search results 29

Algebraic curves and Riemann surfaces for undergraduates : the theory of the donut

Algebraic curves and Riemann surfaces for undergraduates : the theory of the donut
Paper図書
Anil Nerode , Noam GreenbergSpringerc2022
Other Libraries in Japan
  • Author HeadingNerode, Anil Greenberg, Noam

Logical foundations of computer science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings

Logical foundations of computer science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings
Paper図書
Sergei Artemov, Anil Nerode (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingInternational Symposium on Logical Foundations of Computer Science Artemov, S. N. Nerode, Anil

Logical foundations of computer science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings

Logical foundations of computer science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings
Paper図書
Sergei Artemov, Anil Nerode (eds.)Springerc2020
Other Libraries in Japan
  • Author HeadingInternational Symposium on Logical Foundations of Computer Science Artemov, S. N. Nerode, Anil

Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings

Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings
Paper図書
Sergei Artemov, Anil Nerode (eds.)Springerc2018
Other Libraries in Japan
  • Author HeadingInternational Symposium on Logical Foundations of Computer Science Artemov, S. N. Nerode, Anil

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013, proceedings

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013, proceedings
Paper図書
Sergei Artemov, Anil Nerode (eds.)Springerc2013
Other Libraries in Japan
  • Author HeadingLogical Foundations of Computer Science Artemov, S. N. Nerode, Anil

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 2007, New York, NY, USA, June 4-7, 2007 : proceedings

Logical foundations of computer science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Paper図書
Sergei N. Artemov, Anil Nerode (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Symposium on Logical Foundations of Computer Science Artemov, S. N. Nerode, Anil

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 : Deer...

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 ...

Automata theory and its applications

Automata theory and its applications
Paper図書
Bakhadyr Khoussainov, Anil NerodeBirkhäuserc2001
Other Libraries in Japan
  • Author HeadingKhoussainov, Bakhadyr Nerode, Anil

Logic for applications 2nd ed

Logic for applications 2nd ed
Paper図書
Anil Nerode and Richard A. ShoreSpringerc1997
Other Libraries in Japan
  • Author HeadingNerode, Anil Shore, Richard A.

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

Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Paper図書
Sergei Adian, Anil Nerode, (eds.)Springer-Verlagc1997
Other Libraries in Japan
  • Author HeadingInternational Symposium on Logical Foundations of Computer Science Adi︠a︡n, S. I. Nerode, Anil

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Paper図書
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)Springerc1997
Other Libraries in Japan
  • Author HeadingLPNMR Dix, J. (Jürgen) Furbach, Ulrich Nerode, Anil

Principles of logic and logic programming

Principles of logic and logic programming
Paper図書
G. Metakides, A. Nerode ; with the cooperation of A. SinachopoulosElsevier1996
Other Libraries in Japan
  • Author HeadingMetakides, George Nerode, Anil Sinochopoulos, A.

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings : gw : us

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings : gw : us
Paper図書
V.W. Marek, A. Nerode, M. Truszczyński (eds.)Springer Verlagc1995
Other Libraries in Japan
  • Author HeadingLPNMR Marek, Wiktor Nerode, Anil Truszczyński, Mirosław

Logical methods : in honor of Anil Nerode's sixtieth birthday : us : sz

Logical methods : in honor of Anil Nerode's sixtieth birthday : us : sz
Paper図書
John N. Crossley ... [et al.], editorsBirkhäuser1993
Other Libraries in Japan
  • Subject HeadingLogic programming Logic, Symbolic and mathematical Nerode, Anil, 1932-
  • Subject Heading (ID)Logic programming Logic, Symbolic and mathematical Nerode, Anil, 1932-
  • Author HeadingNerode, Anil Crossley, John N.

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Logic programming and non-monotonic reasoning : proceedings of the second international workshop
Paper図書
edited by Luís Moniz Pereira and Anil NerodeMIT Pressc1993
Other Libraries in Japan
  • Author HeadingPereira, Luís Moniz Nerode, Anil

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings : us : gw

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings : us : gw
Paper図書
A. Nerode, Yu. V. Matiyasevich (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading...mputer Science Nerode, Anil Matii︠a︡sevich, I︠U︡. V. (I︠U...

Logic for applications : us : gw

Logic for applications : us : gw
Paper図書
Anil Nerode, Richard A. ShoreSpringer-Verlagc1993
Other Libraries in Japan
  • Author HeadingNerode, Anil Shore, Richard A.

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....
RSS