Title: Logic based program synthesis and transportation
First published: 2003
Subjects: Logic programming, Congresses
LC classification: QA76.63 .L69 2002, QA76.63 .L69 2002