No label defined (Q4862201)
From MaRDI portal
scientific article; zbMATH DE number 841929
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 841929 |
Statements
6 February 1996
0 references
definite programs
0 references
universal theories
0 references
PROLOG
0 references