VIAF

Virtual International Authority File

Search

Nerode, Anil, 1932-.... National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia ISNI-test NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France

Nerode, Anil Wikipedia (en)-test German National Library

Nerode, A. German National Library

VIAF ID: 56701872 (Personal)

Permalink: http://viaf.org/viaf/56701872

ISNI-test: 0000  0001  0904  1472 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close Section Selected Titles

  1. Logic for applications ‎(11) Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia National Library of the Netherlands-test National Library of France
  2. Recursion theory ‎(6) Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands-test National Library of France
  3. Combinatorial Functors ‎(6) National Library of the Czech Republic Library of Congress/NACO German National Library National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands-test
  4. Logical foundations of computer science, Tver '92 second international symposium, Tver, Russia, July 20-24, 1992 : proceedings ‎(5) National Library of the Netherlands-test NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library
  5. Automata theory and its applications ‎(5) National Library of the Netherlands-test Library of Congress/NACO National Library of Catalonia National Library of France German National Library
  6. Logic programming and non-monotonic reasoning : proceedings of the first international workshop ‎(4) NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO German National Library
  7. Principles of logic and logic programming ‎(3) National Library of the Netherlands-test National Library of France Library of Congress/NACO
  8. Logical methods : in honor of Anil Nerode's sixtieth birthday ‎(3) National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
  9. Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings ‎(3) National Library of the Netherlands-test NUKAT Center of Warsaw University Library
  10. Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings ‎(2) National Library of the Netherlands-test Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section About

Open Section Close Section History of VIAF ID:56701872 (28)