scientific article
From MaRDI portal
Publication:2751352
zbMath1011.68511MaRDI QIDQ2751352
Publication date: 27 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Seventy Years of Computer Science, Computer supported mathematics with \(\Omega\)MEGA, Banishing Ultrafilters from Our Consciousness, The Strategy Challenge in SMT Solving, John McCarthy's legacy, First order Stålmarck. Universal lemmas through branch merges