Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	März 2022
Genre:	EDV / Informatik
	ArtificialIntelligence / computerprogramming / computersystems / distributedcomputersystems / formallogic / Künstliche Intelligenz (KI) / logic-basedprogramdevelopment / logicprogramming / Object-OrientedProgramming / parallelprocessingsystems / programanalysisandverification / programandmodelmanipulation / programcompilers / programcomposition / ProgrammingLanguages / programtestingandcertification / Software Engineering / Softwareengineering / Theoretische Informatik mehr...
ISBN:	9783030988685
EAN-Code:	9783030988685
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 11 mm
Gewicht:	295 gr
Seiten:	188
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.