СТ |
A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform |
2004 |
Kazakov M., Abdulrab H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.07.2004 |
СТ |
Formal Parametric Equations |
1995 |
Makanin G. S., Abdulrab H., Maksimenko M. N. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.1995 |
СТ |
General Solution of Mirror Equation |
1993 |
Abdulrab H., Maksimenko M. |
|
|
|
Lecture Notes in Computer Science |
16.09.1993 |
СТ |
Implementation of Makanin s Algorithm |
1990 |
Abdulrab H. |
|
|
|
BIGRE |
07.02.1991 |