First Page | Document Content | |
---|---|---|
![]() Date: 2009-03-25 09:27:15Automated planning and scheduling Combinatorial optimization Mathematical logic Planning Domain Definition Language SAS Symmetry in mathematics FO Symmetry S0 Theoretical computer science Mathematics Applied mathematics | Source URL: www.cis.strath.ac.ukDownload Document from Source WebsiteFile Size: 124,21 KBShare Document on Facebook |