Model-based reasoning in scienceandtechnology abduction, logic, and computational discovery
Lorenzo Magnani; Walter A Carnielli (Walter Alexandre); Claudio Pizzi 1944-; International Conference on Model-Based Reasoning in ScienceandTechnology: Abduction, Logic, and Computational Discovery (Campinas, Br. : 2009)
Berlin Springer Verlag c2010
Localização:
IME - Inst. Matemática e Estatística
(QA860.C M196m )(Acessar)
Proceedings of the Sixteenth Annual Symposium on Computational Geometry June 12-14, 2000, Hong Kong University of ScienceandTechnology, Hong Kong
Symposium on Computational Geometry (16th : 2000 : Hong Kong University of ScienceandTechnology) SIGGRAPH.; ACM Special Interest Group for Algorithms and Computation Theory.
New York ACM Press c2000
Localização:
IME - Inst. Matemática e Estatística
(QA758.C S989 16. )(Acessar)