skip to main content

Idioma:

Resultados 1 - 10 de 4.180 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

Revistas arbitradas (1)

Refinado por: Título de revista: arXiv.org

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) Dudenhefner, Andrej arXiv.org, 2023-12 [Revista revisada por pares] Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		Past-present temporal programs over finite traces Cabalar, Pedro ; Diéguez, Martín ; Laferrière, François ; Schaub, Torsten arXiv.org, 2024-01 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head Rapberger, Anna ; Ulbricht, Markus ; Toni, Francesca arXiv.org, 2024-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		External Behavior of a Logic Program and Verification of Refactoring Fandinno, Jorge ; Hansen, Zachary ; Lierler, Yuliya ; Lifschitz, Vladimir ; Temple, Nathan arXiv.org, 2023-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		Logic Programming with Multiplicative Structures Acclavio, Matteo ; Maieli, Roberto arXiv.org, 2024-03 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		Tau Prolog: A Prolog interpreter for the Web Valverde, José Antonio Riaza arXiv.org, 2023-08 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Model Explanation via Support Graphs Cabalar, Pedro ; Muñiz, Brais arXiv.org, 2023-10 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		Generalisation Through Negation and Predicate Invention Cerna, David M ; Cropper, Andrew arXiv.org, 2023-12 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		Non-Termination in Term Rewriting and Logic Programming Payet, Etienne arXiv.org, 2023-12 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems Di Cosmo, Francesco arXiv.org, 2023-08 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 4.180 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

Revistas arbitradas (1)

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