scientific article; zbMATH DE number 3490446

MaRDI QIDQ4072826zbMATH OpenFDO

Authors Wolfgang Bibel

Publication date 1975

Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in the theory of software (68N01) Pattern recognition, speech recognition (68T10)

Cited in

(1)

• Programming in metric temporal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4072826)