Artículos relacionados a Practical Aspects of Declarative Languages: 25th Internation...
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings - Tapa blanda
Sinopsis
Functional Programming.- RICE: An Optimizing Curry.- Program Synthesis Using Example Propagation.- Embedding Functional Logic Programming in Haskell via a Compiler Plugin.- Execution Time Program Verification With Tight Bounds.- Fluo: A Domain-Specific Language for Experiments in Fluorescence
Microscopy (Application Paper).- Logic Programming.- Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper).- Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.- Formalizing and Reasoning about Supply Chain Contracts between Agents.- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.- SwitchLog: A Logic Programming Language for Network Switches.- Linear Algebraic Abduction with Partial Evaluation.- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.- Solving Vehicle Equipment Specification Problems with Answer Set Programming.- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper).- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming.- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.- Automatic Rollback Suggestions for Incremental Datalog Evaluation.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 57,08
EUR 17,19 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 54,33
EUR 5,19 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Practical Aspects of Declarative Languages: 25th Internation...
Imagen de archivo
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783031248429_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: GO-9783031248429
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: GO-9783031248429
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783031248429
Cantidad disponible: 10 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 45530022-n
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 45530022
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 45530022
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 45530022-n
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Publicado por
Springer Nature B.V. Jan 2023, 2023
ISBN 10: 3031248422
ISBN 13: 9783031248429
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware. Nº de ref. del artículo: 9783031248429
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Aspects Of Declarative Languag
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. . paperback. . . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9783031248429
Cantidad disponible: 1 disponibles