Logic based program synthesis and transportation
Subtitle: 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
By: Michael Leuschel (ed.)
Contributors: Leuschel, Michael.
Series: Lecture notes in computer science -- 2664.
Publisher: Springer
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 279
Subjects: Logic programming -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.