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 ...