S. N. Artemov
Autor de Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
Sobre El Autor
Obras de S. N. Artemov
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013.… (2013) 2 copias
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007,… (2007) 2 copias
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7,… (2015) 1 copia
Obras relacionadas
Etiquetado
Conocimiento común
- Otros nombres
- Artemov, Sergei N.
- Organizaciones
- City University of New York
Miembros
También Puede Gustarte
Autores relacionados
Estadísticas
- Obras
- 8
- También por
- 1
- Miembros
- 12
- Popularidad
- #813,248
- ISBNs
- 15