scientific article
From MaRDI portal
Publication:3421467
zbMATH Open1174.94375MaRDI QIDQ3421467
Publication date: 13 February 2007
Full work available at URL: http://tatra.mat.savba.sk/Full/33/20NOWAK.ps
Title of this publication is not available (Why is that?)
Related Items (3)
Checking Reversibility of Boolean Functions ⋮ Theorem Proving in Higher Order Logics ⋮ Normal Boolean functions
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 Q3421467)
