Conference
A three-valued semantic for Horn clause programs
| Τίτλος: | A three-valued semantic for Horn clause programs |
|---|---|
| Συγγραφείς: | Naish, L. |
| Πηγή: | Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) Australasian computer science Computer Science Conference, 2000. ACSC 2000. 23rd Australasian. :174-180 2000 |
| Relation: | Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!