Sistema demostrativo de razonamiento automático basado en resolución /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Tesis Liburua |
| Hizkuntza: | gaztelania |
| Argitaratua: |
Guadalajara, México :
edición de autor,
1995
|
| Gaiak: | |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Izan zaitez lehena ohar bat uzten!