Mostrando
1 - 1
Resultados de
1
Para Buscar '
Lee, Richard Char-Tung, 1939-
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Lee, Richard Char-Tung, 1939-
Skip recommendations
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Lee, Richard Char-Tung, 1939-
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Symbolic logic and mechanical theorem proving
por
Chang, Chin-Liang, 1937-
,
Lee, Richard Char-Tung, 1939
-
Publicado 1973
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
Temas relacionados
Artificial Intelligence
Artificial intelligence
Automatic theorem proving
D�emonstration automatique
General
Intelligence artificielle
Logic, Symbolic and mathematical
Logique symbolique et math�ematique
MATHEMATICS
Th�eor�emes
artificial intelligence
d�emonstration automatique