|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A categorical approach to unification of generalised terms 1 1 This work has been developed as a cooperation organised within COST 274. |
Eklund, P. |
2002 |
66 | 5 |
p. 41-51 11 p. |
artikel |
|
| 2 | A Multi-Adjoint Approach to Similarity-Based Unification |
Medina, Jesús |
2002 |
66 | 5 |
p. 70-85 16 p. |
artikel |
|
| 3 | Pattern Unification with Sequence Variables and Flexible Arity Symbols |
Kutsia, Temur |
2002 |
66 | 5 |
p. 52-69 18 p. |
artikel |
|
| 4 | Preface |
Eklund, Patrik |
2002 |
66 | 5 |
p. 104-105 2 p. |
artikel |
|
| 5 | Syntactic Unification as a Geometric Operation in Free Modules over certain Rings |
Banerjee, R.N. |
2002 |
66 | 5 |
p. 22-40 19 p. |
artikel |
|
| 6 | Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification |
Alsinet, Teresa |
2002 |
66 | 5 |
p. 1-21 21 p. |
artikel |
|
| 7 | Vague Domains, S-Unification and Logic Programming |
Virtanen, Harry E. |
2002 |
66 | 5 |
p. 86-103 18 p. |
artikel |
7 gevonden resultaten