The Use of Different Representation Technique in Validation & Verification of Legal KB-System.
VenueBICLP
Year1994
ProceedingsICLP Workshop: Legal Application of Logic Programming
DBLP recordconf/iclp/Marnix94 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.