Normal view
MARC view
Logic-Based Program Synthesis and Transformation Электронный ресурс 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / 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, Andy King.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008ISBN: 9783540787693Subject(s): Artificial intelligence | Computer Science | Logic design | Computer Science | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming TechniquesOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.
Log in to your account to post a comment.