Œuvres de David Basin
Automated reasoning : second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004 proceedings (2004) 7 exemplaires
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003… (2003) 4 exemplaires
Étiqueté
Partage des connaissances
Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.
Membres
Statistiques
- Œuvres
- 5
- Membres
- 21
- Popularité
- #570,576
- ISBN
- 13