[?]: Automated Logic contollers (ALC)

[artbistr]

Hi to all.
Have anybody some information (soft, courses etc.) about Automated Logic (ALC) contollers.

Thanks.