|
СТ |
Knowledge Representation in the Agent-Based Travel Support System |
2002 |
Paprzycki M., Gilbert A., Gordon M. |
|
|
|
Lecture Notes in Computer Science |
22.11.2002 |
|
СТ |
The PROSPER Toolkit |
2000 |
Dennis L. A., Collins G., Norrish M., Boulton R., Slind K., Robinson G., Gordon M., Melham T. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
A Static Study of Java Exceptions Using JESP |
2000 |
Ryder B. G., Smith D., Kremer U., Gordon M., Shah N. |
|
|
|
Lecture Notes in Computer Science |
22.04.2000 |
|
П |
A Metalanguage for Interactive Proof in LCF |
1977 |
Gordon M., Milner R., Morris L., Newey M., Wadsworth C. |
|
|
Univ.Edinburgh |
|
20.06.1995 |
