No label defined (Q4546091)
From MaRDI portal
scientific article; zbMATH DE number 1783013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1783013 |
Statements
18 August 2002
0 references
semiclassical logic
0 references
proof animation
0 references
verification
0 references
limit computable mathematics
0 references
learning theory
0 references
realizability interpretation
0 references
limiting recursive functions
0 references
automatic extraction of limit-algorithms
0 references
