PBINT, A Logic for Modelling Search Problems Involving Arithmetic (Q4933335)
From MaRDI portal
scientific article; zbMATH DE number 5798925
Language | Label | Description | Also known as |
---|---|---|---|
English | PBINT, A Logic for Modelling Search Problems Involving Arithmetic |
scientific article; zbMATH DE number 5798925 |
Statements
PBINT, A Logic for Modelling Search Problems Involving Arithmetic (English)
0 references
12 October 2010
0 references