An algorithm for the solution of a system of logical equations

From MaRDI portal
Publication:5720468