{HYPROLOG: A new logic programming language with assumptions and abduction}
| Type of publication: | Article |
| Citation: | christiansen2005hyprolog |
| Journal: | Logic Programming |
| Year: | 2005 |
| Pages: | 159--173 |
| Publisher: | Springer |
| Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|