[ACM Press the 2000 international symposium - St. Andrews, Scotland (2000..-..)] Proceedings of the 2000 international symposium on Symbolic and algebraic computation symbolic and algebraic computation - ISSAC '00 - Local quantifier elimination
- 作者Dolzmann, Andreas; Weispfenning, Volker
- 文件大小180.87KB
- 发表时间2000
- DOI10.1145/345542.345589
- 页码86-94
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - KVispatchMiyamoto, Kenji; Harada, Yasunori; Potter, Richard · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - CBMShin, Dong-Guk; Nori, Ravi Shankar · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - Conversation spacePopolov, Dimitri; Callaghan, Michael; Luker, Paul · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - Instructions and descriptionsGreen, Thomas R. G. · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - Hierarchical flip zoomingBjörk, Staffan · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - From hierarchies to polyarchiesRobertson, George · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - Snap-together visualizationNorth, Chris; Shneiderman, Ben · 2000
[ACM Press the working conference - Palermo, Italy (2000..-..)] Proceedings of the working conference on Advanced visual interfaces - AVI '00 - Device independent text inputIsokoski, Poika; Raisamo, Roope · 2000