MPTP 0.2: Design, Implementace, and pocatecni experimenty

Abstrakt

Clanek popisuje druhou verzi systemu MPTP a prvni experimentalni vysledky zalozene na tomto systemu.

Klíčová slova

• Design
• Implementation
• Initial
• Experiments