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 Advanced Search
Búsqueda General
Búsqueda General
Colección Física
Colecciones Físicas
Producción Intelectual USP
Producción USP
Primo Advanced Search Query Term
Input search text:
Show Results with:
criteria input
Cualquiera
Show Results with:
Cualquiera
Primo Advanced Search prefilters
Tipo de material:
criteria input
Todos los registros
Producción Intelectual USP
Búsqueda Sencilla
This feature requires javascript
Bringing AGM to computer science
Renata Wassermann Márcio Moretto Ribeiro
South American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015
Campinas 2015
Acceso en línea. La biblioteca tiene también copias físicas.
Recurso en línea
Localizaciones y Reservas
Detalles
Comentarios y Etiquetas
Solicitaciones
Servicios adicionales
Navegación virtual
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
Haga clic aquí para identificar y realizar solicitudes
This feature requires javascript
Volver a la lista de resultados
Resultado
1
This feature requires javascript
This feature requires javascript
Buscando en bases de datos remotas, por favor espere
Buscando por
en
scope:(USP_PRODUCAO)
Mostrar lo que tiene hasta ahora
This feature requires javascript
This feature requires javascript
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros
Logos de Redes Sociales: 
Logos de Redes Sociales: