First Page | Document Content | |
---|---|---|
![]() Date: 2015-02-02 08:45:53Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation | Add to Reading List |