Logic-based Program Synthesis and Transformation /

... International Workshop, LOPSTR ... Selected Papers

• ISBN 10 : UOM:39015058879175
• Judul : Logic-based Program Synthesis and Transformation /
• Sub Judul : ... International Workshop, LOPSTR ... Selected Papers
• Pengarang : ,  
• Kategori : Logic programming
• Bahasa : en
• Tahun : 2003
• Google Book : http://books.google.co.id/books?id=yJlQAAAAMAAJ&dq=intitle:Logic+and+Legal+Reasoning&hl=&source=gbs_api
• Ketersediaan :

To emphasize the " compositional reasoning " methodology followed , we have structured it in subsections . ... ( unif - legal - pr upl op ) , checking the conditions needed to apply a given operator op to a unification problem upl ( in ...