scientific article; zbMATH DE number 1979540

zbMATH Open1019.68625MaRDI QIDQ4427890

Robert B. Jones, Thomas F. Melham

Publication date: 14 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170001.htm

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Related Items (3)

Symbolic Trajectory Evaluation ⋮ Title not available (Why is that?) ⋮ Array abstraction with symbolic pivots

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4427890)