scientific article; zbMATH DE number 3626631

zbMath0403.68076MaRDI QIDQ4188776

V. J. Rayward-Smith

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Pattern recognition, speech recognition (68T10) Theory of compilers and interpreters (68N20) Classical first-order logic (03B10) Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (1)

Finding linear and circular sequences of minimal and maximal total adjacency

Uses Software

• ALGOL 68

This page was built for publication: