Anil Nerode
AuthID: R-00H-5MR
1
TÃTULO: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
AUTORES: Sergei N Artëmov; Anil Nerode;
PUBLICAÇÃO: 2022, FONTE: LFCS, VOLUME: 13137
AUTORES: Sergei N Artëmov; Anil Nerode;
PUBLICAÇÃO: 2022, FONTE: LFCS, VOLUME: 13137
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
AUTORES: Sergei N Artëmov; Anil Nerode;
PUBLICAÇÃO: 2013, FONTE: LFCS, VOLUME: 7734
AUTORES: Sergei N Artëmov; Anil Nerode;
PUBLICAÇÃO: 2013, FONTE: LFCS, VOLUME: 7734
INDEXADO EM: DBLP
DBLP3
TÃTULO: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings
AUTORES: Wiktor W Marek; Anil Nerode;
PUBLICAÇÃO: 1995, FONTE: LPNMR, VOLUME: 928
AUTORES: Wiktor W Marek; Anil Nerode;
PUBLICAÇÃO: 1995, FONTE: LPNMR, VOLUME: 928
INDEXADO EM: DBLP
DBLP4
TÃTULO: Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993
AUTORES: Luís Moniz Pereira; Anil Nerode;
PUBLICAÇÃO: 1993, FONTE: LPNMR
AUTORES: Luís Moniz Pereira; Anil Nerode;
PUBLICAÇÃO: 1993, FONTE: LPNMR
INDEXADO EM: DBLP
DBLP5
TÃTULO: Logic Programming and Non-Monotonic Reasoning. Proceedings of the First International Workshop
AUTORES: Anil Nerode; Wiktor Marek; V. S. Subrahmanian;
PUBLICAÇÃO: 1991
AUTORES: Anil Nerode; Wiktor Marek; V. S. Subrahmanian;
PUBLICAÇÃO: 1991
INDEXADO EM: 
Openlibrary
Openlibrary