skip to main content

Idioma:

Resultados 1 - 10 de 48.455 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar solo

Refinado por: materia: Mathematics

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Libro		Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings Agotnes, Thomas ; Broersen, Jan M ; Elgesem, Dag Elgesem, Dag ; Agotnes, Thomas ; Broersen, Jan M Netherlands: Springer Nature 2012 Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Libro		Feasible mathematics a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 Samuel R Buss; Phillip J Scott; Cornell University Mathematical Sciences Institute; Workshop on Feasible Mathematics (1989 Cornell University) Boston Birkhäuser 1990 Disponible en IME - Inst. Matemática e Estatística (S P9649 v.9 )(Obténgalo) Localizaciones y Reservas Detalles Comentarios y Etiquetas Solicitaciones Servicios adicionales Navegación virtual
3	Material Type: Artículo		Dynamic Cantor Derivative Logic Fernández-Duque, David ; Montacute, Yoàv Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Revista revisada por pares] Logical Methods in Computer Science e.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Libro		The road to universal logic festschrift for 50th birthday of Jean-Yves Bziau volume I-II Arnold Koslow; Arthur Buchsbaum Cham Birkhäuser 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
5	Material Type: Libro		Kurt G odel and the foundations of mathematics horizons of truth Matthias Baaz Cambridge Cambridge University Press New York 2011 Comprobar en IME - Inst. Matemática e Estatística (QA9.C3 B111k )(Obténgalo) Localizaciones y Reservas Detalles Comentarios y Etiquetas Solicitaciones Servicios adicionales Navegación virtual
6	Material Type: Artículo		An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets Chouquet, Jules ; Auclair, Lionel Vaux Logical methods in computer science, 2021-12, Vol.17, Issue 4 [Revista revisada por pares] Logical Methods in Computer Science Association Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Positive First-order Logic on Words and Graphs Kuperberg, Denis Logical methods in computer science, 2023-07, Vol.19, Issue 3 (3), p.7:1-7:35 [Revista revisada por pares] Logical Methods in Computer Science Association Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	$Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications$ $Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications$ Material Type: Artículo		Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications Cerda, Rémy ; Auclair, Lionel Vaux Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Revista revisada por pares] Logical Methods in Computer Science Association Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens Kirst, Dominik ; Larchey-Wendling, Dominique Logical methods in computer science, 2022-06, Vol.18, Issue 2 (2) [Revista revisada por pares] Logical Methods in Computer Science Association Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	$On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants$ $On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants$ Material Type: Artículo		On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants Olimpieri, Federico ; Auclair, Lionel Vaux Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Revista revisada por pares] Logical Methods in Computer Science Association Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 48.455 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

Mostrar solo

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(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