Sistema demostrativo de razonamiento automático basado en resolución /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Tesis Knjiga |
| Jezik: | španščina |
| Izdano: |
Guadalajara, México :
edición de autor,
1995
|
| Teme: | |
| Oznake: |
Brez oznak, prvi označite!
|
| Fizični opis: | 98 p. |
|---|