Search results for: buckingham theorems
Displayed results came from alternative search method.
Filters
total: 292
filtered: 4
Search results for: buckingham theorems
-
International Workshops on First-Order Theorem Proving
Conferences -
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Conferences -
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Conferences -
International Symposium on Software Engineering: Theories, Tools, and Applications
Conferences