scientific article; zbMATH DE number 139818

MaRDI QIDQ4028154zbMATH OpenFDO

Authors Kees Goossens

Publication date 28 March 1993

zbMATH Keywords

semanticsproof systemdescription languagecomputer hardware design

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(2)

• scientific article; zbMATH DE number 139806 (Why is no real title available?)
• Rule-based induction

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 Q4028154)