Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings

This book constitutes the proceedings of the 20th International conference on logic for programming, artificial intelligence, and reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and...

Celý popis

Podrobná bibliografie

Další autoři:	Davis, Martin, 1928-2023 (Editor)  Fehnker, Ansgar (Editor) McIver, Annabelle, 1964- (Editor)  Voronkov, Andrei, 1959- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	LPAR 2015 (Suva, Fidži)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Heidelberg ; New York ; Dordrecht ; London : Springer, 2015
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-662-48899-7 978-3-662-48898-0
Témata:	informatika programování softwarové inženýrství programovací jazyky matematická logika umělá inteligence robotika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!