A new definition of SLDNF-resolution / K.R. Apt, H.C. Doets
Ook verschenen: Amsterdam : Institute for Logic, Language and Computation, 1992. - (ILLC prepublication series. Computation and complexity theory, ISSN 0928-3323 ; CT-92-03)
| rdfs:label | "A new definition of SLDNF-resolution / K.R. Apt, H.C. Doets" |
| schema:name | "A new definition of SLDNF-resolution" |
| schema:author | Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology |
| Apt, Krzysztof R. (1949-) | |
| schema:contributor | Doets, Hans Cornelis (1941-2024) |
| schema:description | "Ook verschenen: Amsterdam : Institute for Logic, Language and Computation, 1992. - (ILLC prepublication series. Computation and complexity theory, ISSN 0928-3323 ; CT-92-03)" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1992" |
| schema:about | mathematische programmering |
| Prolog | |
|
schema:in |
"en" |
|
schema:is |
Report / Department of Computer Science |
|
schema:number |
12 |
| schema:publication |
<https:/ |