This volume contains the conference proceedings from the 2001 Human Centric Computing Languages and Environments.If two or more arrows are sourced on the same quantified spider, then the sequences associated with each arrow are within the ... For all c e Caquot;, for all arrows a such that c is the target of a, W(c) = W(6(a)). ... The Constraint Diagrams Editor, http://www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/.  E. Hammer. Logic andanbsp;...
|Title||:||2001 IEEE Symposium on Human-Centric Computing|
|Publisher||:||Institute of Electrical & Electronics Engineers(IEEE) - 2001-01-01|