Top ↑
English,
Français
,
Italiano
,
Deutsch
Systar
®
1991
Systomatics machine
Home
Theory
Practice
Engines
Examples
Manuals
Motivations
Origin
Prototypes
Dictionaries
Links
Search
Contact
Engines
Mathstar
Enerstar
Backstar
Engines
Chaining deductions
Table of contents
Prolog
