Analysis of billiard ball computation using phase space logics

From MaRDI portal
Publication:1586914