Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International conference on logic for programming, artificial intelligence, and reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers pre...

Celý popis

Podrobná bibliografie

Další autoři:	Clarke, E. M., 1945- (Editor)  Voronkov, Andrei, 1959- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	LPAR 2010 (Dakar, Senegal)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2010
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-17511-4 978-3-642-17510-7 3-642-17510-4
Témata:	informatika programování softwarové inženýrství programovací jazyky matematická logika umělá inteligence robotika
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!