Cover Image

Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /

Bibliographic Details
Corporate Authors: LOPSTR (Symposium) Madrid, Spain), SpringerLink (Online service)
Other Authors: Leuschel, Michael
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science ; 2664.
Subjects:
Logic programming > Congresses.
Logic programming.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (x, 279 pages) : illustrations.
Bibliography:Includes bibliographical references and index.
ISBN:3540404384 (alk. paper)
9783540404385 (alk. paper)
ISSN:0302-9743 ;