scientific article; zbMATH DE number 2120023

zbMATH Open1091.68593MaRDI QIDQ4829318FDOQ4829318

Authors: Antoni Ligȩza 

Publication date: 29 November 2004

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

Recommendations

• Dual tableaux. Foundations, methodology, case studies
• scientific article; zbMATH DE number 4139317
• Concurrent inference through dual transformation
• On a self-dual notation in automated reasoning
• Artificial Intelligence and Soft Computing - ICAISC 2004

zbMATH Keywords

dual resolutiongranular relationsgranular sets

Mathematics Subject Classification ID

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