One approach to synthesizing predicate circuits on the basis of generalized variables (Q1759101)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6108630
Language Label Description Also known as
default for all languages
No label defined
    English
    One approach to synthesizing predicate circuits on the basis of generalized variables
    scientific article; zbMATH DE number 6108630

      Statements

      Identifiers