No label defined (Q4737560)
From MaRDI portal
scientific article; zbMATH DE number 2086952
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2086952 |
Statements
11 August 2004
0 references
Fixed-point
0 references
Floating-point
0 references
Signal Processing
0 references
Theorem-Proving
0 references
HOL
0 references
SPW
0 references