ID | RSW90 |
Typ | Artikel - ein Artikel in einem Journal oder Magazin |
Autor | J. W. Roach |
R. Sundararajan | |
L. T. Watson | |
Titel | Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness |
Journal | Journal of Automated Reasoning |
Jahr | 1990 |
Volume | 6 |
Seite(n) | 51-75 |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0