Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
Annals of Mathematics and Artificial Intelligence 1012-2443 | 1998 | Blackburn, Patrick Tzakova, Miroslava | Hybridizing Concept Languages In: Annals of Mathematics and Artificial Intelligence [24], 23-49 | |||||
Annals of Mathematics and Artificial Intelligence 1012-2443 | 1996 | Weidenbach, Christoph | Unification in Sort Theories and its Applications In: Annals of Mathematics and Artificial Intelligence [18], 261-293 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|