Sistema demostrativo de razonamiento automático basado en resolución /

Zapisane w:
Opis bibliograficzny
1. autor: Verdugo Casas, José Angel (autor)
Format: Praca dyplomowa Książka
Język:hiszpański
Wydane: Guadalajara, México : edición de autor, 1995
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Szczegóły zapisu IT2
Sygnatura:
ISC. 127
Ejemplar T029430100
Disponible
Préstamo 7 días a 90
Kolekcja:
Tesis del ITESO impresas
Komentarze:
Solicitar cita para préstamo a biblioteca@iteso.mx