Ebook > Ciência > Ciência da Computação > Ciência da Computação > Robert Gluck & Bishoksan Kafle: Logic-Based Program Synthesis and Transformation (ePUB)

Robert Gluck & Bishoksan Kafle
Logic-Based Program Synthesis and Transformation [EPUB ebook]
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Apoio

Capa do Robert Gluck & Bishoksan Kafle: Logic-Based Program Synthesis and Transformation (ePUB)

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.

€57.81

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783031457845 ● Editor Robert Gluck & Bishoksan Kafle ● Editora Springer Nature Switzerland ● Publicado 2023 ● Carregável 3 vezes ● Moeda EUR ● ID 9218241 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Robert Gluck Bishoksan Kafle

12.262 Ebooks nesta categoria

Capa do Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral elemen …

Capa do Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Capa do Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …

Capa do H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

Capa do Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Capa do Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Capa do Ahmed Banafa: Quantum Computing and Other Transformative Technologies

Ahmed Banafa: Quantum Computing and Other Transformative Technologies

This book explores quantum computing as a transformative technology and its applications in communications, cryptography, teleportation, Io T, AI, and blockchain, in addition to the revolutionary con …

Capa do Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the concep …

Capa do Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

Capa do Bonny P McClain: Geospatial Analysis with SQL

Bonny P McClain: Geospatial Analysis with SQL

<p><b>Leverage the power of SQL to perform geospatial analysis and increase your speed and efficiency working with a variety of spatial applications such as Post GIS and QGIS</b>&lt …

Próxima página >>>