Plan-Based Robot Control

Page 11 of 11.

1. Hans-Jürgen Bürckert

   Some relationships between Unification, Restricted Unification, and Matching

   Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.

2. Hans-Jürgen Bürckert

   Extending the Warren Abstract Machine to Many-sorted PROLOG

   SEKI-Memo, Universität Kaiserslautern, SEKI-Memo, Vol. SEKI-85-07, 1985.

3. Hans-Jürgen Bürckert; H. Wang; R. Zheng

   MKRP: A Performance Test by Working Mathematicians

   Universität Karlsruhe, Interner Bericht, Vol. 19/83, 1983.

• previous
• 1
• …
• 9
• 10
• 11