W. W. Bledsoe
Auteur de Automated theorem proving : after 25 years
Œuvres de W. W. Bledsoe
Étiqueté
Partage des connaissances
Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.
Membres
Statistiques
- Œuvres
- 1
- Membres
- 6
- Popularité
- #1,227,255
- ISBN
- 2