Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Logikbasierte Programmsynthese und Transformation: 33. International

Ø 0.0

0 Bewertungen

51,09 €

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.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783031457838
UPC:

9783031457838
ISBN:

9783031457838
Format:

Paperback, 211 pages, 2023 Edition
Author:

Robert Glück (Edited by)
Book Title:

Logic-Based Program Synthesis and Transformation:
Item Height:

1.2 cm
Item Length:

23.4 cm
Item Weight:

0.35 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer International Publishing AG

Expressversand:

International Priority Shipping 12,19 EUR - Lieferung zwischen 09. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
Versand ausgeschlossen:

Isle of Man , Algerien , Angola , Botsuana , Burundi , Kongo, Demokratische Republik , Kongo, Republik , Ghana , Nigeria , Togo , ... und weitere