scientific article; zbMATH DE number 1923135

zbMATH Open1025.68084MaRDI QIDQ4706861

Nicolae Ţăndăreanu

Publication date: 3 June 2003

Title of this publication is not available (Why is that?)

zbMATH Keywords

binary relationBoolean equation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics

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