Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
Details
- OL Work ID
- OL17511039W
Subjects
Logic designSoftware engineeringComputer scienceArtificial intelligenceAbstract data types (computer science)Programming TechniquesMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)