Lecture Notes in Computer Science- Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
- Engels
- Paperback
- 9783031457838
- 16 oktober 2023
- 211 pagina's
Samenvatting
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.
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.
Productspecificaties
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 16 oktober 2023
- Aantal pagina's
- 211
Betrokkenen
- Hoofdredacteur
- Robert Gluck
- Tweede Redacteur
- Robert Gluck
- Hoofduitgeverij
- Springer International Publishing Ag
Overige kenmerken
- Editie
- 23001
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 13 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 349 g
EAN
- EAN
- 9783031457838
Productveiligheid
-
Verantwoordelijk marktdeelnemer in de EU
Tooltip
Verantwoordelijk marktdeelnemer in de EU
De verantwoordelijk marktdeelnemer in de EU zorgt voor het nakomen van verplichtingen op het gebied van productveiligheid. - Bekijk gegevens
Levertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Anderen bekeken ook
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud, zoals een onveilig, illegaal artikel of misleidende content.
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan het klantformulier (via onderstaande link) om een melding te doen.