Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

This volume contains a selection of papers presented at LOPSTR 2006, the 16th International symposium on logic-based program synthesis and transformation, held in Venice, Italy, July, 12-14 2006. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on log...

Celý popis

Podrobná bibliografie

Další autoři:	Puebla, Germán (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	LOPSTR 2006 (Benátky, Itálie)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2007
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-540-71410-1 978-3-540-71409-5 3-540-71409-X
Témata:	informatika softwarové inženýrství programování logické programování algoritmizace operační systémy umělá inteligence robotika matematická logika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!