scientific article; zbMATH DE number 885444
From MaRDI portal
Publication:4881384
zbMATH Open0848.68103MaRDI QIDQ4881384
Ho Chung Lui, Bo Yuan, Wang Ming Wu
Publication date: 21 August 1996
Title of this publication is not available (Why is that?)
modus ponenscompositional rule of inferencecompatibility modification inferenceregular inference functions
Related Items (2)
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 Q4881384)