scientific article; zbMATH DE number 1254236
From MaRDI portal
Publication:4227277
zbMath0922.68078MaRDI QIDQ4227277
Peter A. Broadbery, Stephen M. Watt, Teresa Gómez-Díaz
Publication date: 4 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Directed evaluation ⋮ A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Uses Software
This page was built for publication: