S. N. Artemov
Auteur de Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
A propos de l'auteur
Œuvres de S. N. Artemov
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013.… (2013) 2 exemplaires
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007,… (2007) 2 exemplaires
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7,… (2015) 1 exemplaire
Oeuvres associées
Étiqueté
Partage des connaissances
- Autres noms
- Artemov, Sergei N.
- Organisations
- City University of New York
Membres
Vous aimerez peut-être aussi
Auteurs associés
Statistiques
- Œuvres
- 8
- Aussi par
- 1
- Membres
- 12
- Popularité
- #813,248
- ISBN
- 15