skip to main content
Invitado
Mi portal
Mi Cuenta
Cerrar sesión
Identificarse
This feature requires javascript
Tags
Periódicos Eletrónicos
Libros Eletrónicos
Bases de Datos
Bibliotecas de USP
Ayuda
Ayuda
Idioma:
Inglés
Castellano
Portugués (Brasil)
This feature required javascript
This feature requires javascript
Primo Search
Búsqueda General
Búsqueda General
Colección Física
Colecciones Físicas
Producción Intelectual USP
Producción USP
Search For:
Clear Search Box
Search in:
Búsqueda General
Or hit Enter to replace search target
Or select another collection:
Search in:
Búsqueda General
Búsqueda Avanzada
Búsqueda por Índices
This feature requires javascript
This feature requires javascript
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W Loveland
Berlin Springer-Verlag New York 1982
Disponible en
IME - Inst. Matemática e Estatística
(S L471c v.138 )
(Obténgalo)
This feature requires javascript
Localizaciones y Reservas
Detalles
Comentarios y Etiquetas
Solicitaciones
Servicios adicionales
Navegación virtual
This feature requires javascript
Acciones
Agregar a Mi Portal
Eliminar de Mi Portal
Correo Electrónico
Imprimir
Enlae permanente
Cita bibliográfica
EasyBib
EndNote
RefWorks
Delicious
Exportación RIS
Exportar BibTeX
This feature requires javascript
Título:
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Autor:
Conference on Automated Deduction (6th 1982 New York, N.Y.)
Donald W Loveland
Materias:
Automatic theorem proving -- Congresses
;
Logic, Symbolic and mathematical -- Congresses
;
INTELIGÊNCIA ARTIFICIAL (CONGRESSOS)
Notas:
Includes bibliographical references
Títulos relacionados:
Serie:Lecture notes in computer science 138
Editor:
Berlin Springer-Verlag New York
Fecha de creación:
1982
Formato:
vii, 389 p. 25 cm.
Idioma:
Inglés
Enlaces
Este registro en el Catálogo
This feature requires javascript
This feature requires javascript
Volver a la lista de resultados
Anterior
Resultado
2
Siguiente
This feature requires javascript
This feature requires javascript
Buscando en bases de datos remotas, por favor espere
Buscando por
en
scope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora
This feature requires javascript
This feature requires javascript
Anterior
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros
Logos de Redes Sociales: 
Logos de Redes Sociales: