-
1Subjects: “...2012 ACM Subject Classification Theory of computation → Lambda calculus...”
Get access
Get access
Get access
Get access
Conference Object -
2“... for situation recognition. 2012 ACM Subject Classification Theory of computation → Modal and temporal logics...”
Get access
Get access
Get access
Conference Object -
3“... for situation recognition. 2012 ACM Subject Classification Theory of computation → Modal and temporal logics...”
Get access
Get access
Get access
Conference Object -
4“..., musical theory or computer science, just to name a few....”
Get access
Get access
Get access
Get access
Conference Object