Automated Theorem Proving
BIBEL, WOLFGANG
Anglais
EAN
9783528185206
Année d'édition
1987
langage
Anglais
Collection
Künstliche Intelligenz
Haute
244
Largeur
170
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres