:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Böving, Henrik, Bhat, Siddharth, Keizer, Alex, Cicolini, Luisa, Frénot, Léon, Mohamed, Abdalrhman, Stefanesco, Léo, Khan, Harun, Clune, Joshua, Barrett, Clark, Grosser, Tobias
Format:	Recurso digital
Langue:
Publié:	Zenodo 2025
Accès en ligne:	https://doi.org/10.5281/zenodo.15766491
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Lean-SMT: An SMT tactic for discharging proof goals in Lean
par: Mohamed, Abdalrhman, et autres
Publié: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
par: Bhat, Siddharth, et autres
Publié: (2024)

Hint-Based SMT Proof Reconstruction
par: Clune, Joshua, et autres
Publié: (2026)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
par: Qian, Yicheng, et autres
Publié: (2025)

Constructive characterisations of the must-preorder for asynchrony
par: Bernardi, Giovanni, et autres
Publié: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

Integer Reasoning Modulo Different Constants in SMT
par: Pertseva, Elizaveta, et autres
Publié: (2025)

Relational Hoare Logic for Realistically Modelled Machine Code
par: Mazzucato, Denis, et autres
Publié: (2025)

Towards SMT Solver Stability via Input Normalization
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
par: Timany, Amin, et autres
Publié: (2021)

Kompetenzverschiebungen im Digitalisierungsprozess
par: Umbach, Susanne, et autres
Publié: (2020)

New South Wales January to June 2024
par: David Clune
Publié: (2024)

New South Wales July to December 2023
par: David Clune
Publié: (2024)

Tertiary Students & Library Usage with Particular Emphasis on Public Libraries. A Report of a 1986 Melbourne Survey. Occasional Paper No. 3.
par: Grosser, Kerry
Publié: (1987)

ReSMT: An SMT-Based Tool for Reverse Engineering
par: Somech, Nir, et autres
Publié: (2025)

Arguments for a ban on pediatric intersex surgery: A dis/analogy with Jehovah witness blood transfusion
par: Catherine Clune‐Taylor
Publié: (2024)

HintSMT
par: Anonymous Authors
Publié: (2026)

Nonlinear composition operators in bv_p spaces: continuity and compactness
par: Bugajewska, Daria, et autres
Publié: (2025)

Cerebellar degeneration and its integrative role in brain networks for social cognition in early‐stage bvFTD
par: Yu Chen, et autres
Publié: (2025)

Compressing Structured Tensor Algebra
par: Ghorbani, Mahdi, et autres
Publié: (2024)

Strided Difference Bound Matrices
par: Pitchanathan, Arjun, et autres
Publié: (2024)

LA IMPORTANCIA DE INCLUIR LAS COMPETENCIAS INTERCULTURALES EN LAS RELACIONES CON POBLACIÓN REFUGIADA
par: Sebastián May Grosser
Publié: (2015)

LA VISUALIZACIÓN MOTORA EN LA PSICOLOGÍA DEL DEPORTE EN COSTA RICA Y SU USO PARA MEJORAR EL APRENDIZAJE MOTOR EN DEPORTISTAS
par: Sebastián May Grosser
Publié: (2012)

Rezago, sector forestal y trampas territoriales. La provincia de Arauco
par: Günter Grosser-Villar
Publié: (2019)

ANOREXIA: UN CONFLICTO ENTRE LA NIÑA Y LA ADOLESCENTE. LA ADOLESCENTE Y SU ESPEJO
par: Kattya Grosser Guillén
Publié: (2010)

Adolescentes y adultos ¿Es posible una interacción sin juzgar ni castigar? ¿Qué hay detrás del llamado conflicto generacional?
par: Kattya Grosser Guillén
Publié: (2003)

La juventud como mercancía y el lugar de lo adolescente en la lógica cultural del capitalismo tardío
par: Kattya Grosser Guillén
Publié: (2006)

Dynamics of Long-Life Assets From Technology Adaptation to Upgrading the Business Model
par: Stefan N. Grösser

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
par: Bartholomew, Michael, et autres
Publié: (2025)

The Shape of Thought
par: Clark Barrett, H.
Publié: (2026)

Thought Cloning: Learning to Think while Acting by Imitating Human Thinking
par: Hu, Shengran, et autres
Publié: (2023)

First-Explore, then Exploit: Meta-Learning to Solve Hard Exploration-Exploitation Trade-Offs
par: Norman, Ben, et autres
Publié: (2023)

An excitation matched local correlation approach to excited state specific perturbation theory
par: Clune, Rachel, et autres
Publié: (2025)

Habacef/Kuhl_Obendorf_Winkler_et-al._structural_computational_analyses: Submission-release
par: Leon Obendorf
Publié: (2026)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
par: Janota, Mikoláš, et autres
Publié: (2026)

CHC-COMP 2023: Competition Report
par: De Angelis, Emanuele, et autres
Publié: (2024)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
par: Grosser, Marvin, et autres
Publié: (2026)

Continuing Professional Development of Special Library and Information Center Managers.
par: Broadbent, Marianne, et autres
Publié: (1987)

Special Library and Information Centre Managers: Their Continuing Professional Development. Report of a Research Study Undertaken in 1985. Occasional Paper No. 2.
par: Broadbent, Marianne, et autres
Publié: (1986)

Composition operators in $bv_p$-spaces, part I: acting conditions and boundedness
par: Bugajewska, Daria, et autres
Publié: (2024)