Logic-based program synthesis and transformation
9th international workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
Gespeichert in:
Verfasser / Beitragende:
Annalisa Bossi, (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2000
Beschreibung:
VIII, 312 p. : ill. ; 24 cm
Format:
Buch (Kongress)