VIAF

Virtual International Authority File

Search

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

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

Nerode, A. German National Library ISNI-test

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 (4)

Open Section Close Section Selected Titles

  1. Logic for applications ‎(10) National Library of Catalonia National Library of the Netherlands-test German National Library Library of Congress/NACO National Library of France
  2. Recursion theory ‎(6) National Library of the Netherlands-test Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia National Library of France
  3. Combinatorial functors ‎(6) National Library of the Netherlands-test National Library of the Czech Republic Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library National Library of Catalonia
  4. Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings ‎(5) NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library
  5. Automata theory and its applications ‎(5) National Library of Catalonia National Library of the Netherlands-test German National Library Library of Congress/NACO National Library of France
  6. Logic programming and non-monotonic reasoning : proceedings of the first international workshop ‎(4) National Library of Catalonia NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library
  7. Principles of logic and logic programming ‎(3) National Library of the Netherlands-test Library of Congress/NACO National Library of France
  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) NUKAT Center of Warsaw University Library National Library of the Netherlands-test
  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 (24)