Automated Theorem Proving
BIBEL, WOLFGANG
Inglês
EAN
9783528185206
Ano de edição
1987
Idioma
Inglês
Coleção
Künstliche Intelligenz
Alto
244
Largura
170
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres