[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 - Deciding linear-trigonometric problems
- 作者Anai, Hirokazu; Weispfenning, Volker
- 文件大小201.09KB
- 发表时间2000
- DOI10.1145/345542.345567
- 页码14-22
[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
Botulinum toxin type a injection in the diaphragm for untreated chronic hiccupLelia, Fausto; Porta, Mauro; Scalambra, Marco; Marco, Policlinico San · Gastroenterology · 2000
Hydrocortisone Infusion for Severe Community-acquired PneumoniaConfalonieri, Marco; Urbino, Rosario; Potena, Alfredo; Piattella, Marco; Parigi, Piercarlo; Puccio, Giacomo; Della Porta, Rossana; Giorgio, Carbone; Blasi, Francesco; Umberger, Reba; Meduri, G. Umberto · American Journal of Respiratory and Critical Care Medicine · 2005
Log-map analysisPaolo Gamba; Luca Lombardi; Marco Porta · 2008
Tetrahydrobiopterin and phenylketonuriaFrancesco Porta; Marco Spada; Davide Garelli; Alessandro Mussa; Alberto Ponzone · 2011
Phenotyping and treatment of phenylketonuriaFrancesco Porta; Alessandro Mussa; Davide Garelli; Marco Spada · 2011
Subject indexGori, Yuri; Camin, Federica; Porta, Nicola La; Carrer, Marco; Battisti, Andrea · Operative Techniques in Orthopaedics · 1993
Completion by Derived Double CentralizerPorta, Marco; Shaul, Liran; Yekutieli, Amnon · Algebras and Representation Theory · 2014
Cohomologically Cofinite ComplexesPorta, Marco; Shaul, Liran; Yekutieli, Amnon · Communications in Algebra · 2015