 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Buntine-Burckert/94" |
|
On solving equations and disequations
Wray L. Buntine, Hans-Jürgen Bürckert
Journal of the ACM 41 (4), 1994, July, pp. 591-629
| Publisher: | ACM Press | |
| Address: | New York | |
| Keywords: | definite clause, E-disunification, E-unification, equational theory, inequations, logic programming, solving equations and disequations | |
|
|
|
|