Logic-Based Program Synthesis and Transformation
Subtitle: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Hanus
Contributors: Hanus, Michael; Kanade, Takeo; Sudan, Madhu; Weikum, Gerhard; Vardi, Moshe Y.; Kittler, Josef, 1946-; Terzopoulos, Demetri; Steffen, Bernhard; 1955-; Nierstrasz, Oscar Marius, 1957-; Naor, Moni, 1961-; Mitchell, John C.; Mattern, Friedemann; Kleinberg, Jon; Tygar, J.D.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5438
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642005145; 9783642005152
Subjects: Logic design; Software engineering; Algorithms; Computer science; Artificial intelligence