scientific article; zbMATH DE number 1542850
From MaRDI portal
Publication:4520303
zbMath0960.68661MaRDI QIDQ4520303
Publication date: 26 February 2001
Full work available at URL: http://www.jucs.org/jucs_1_9/a_method_for_proving
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items