Kazimir Majorinc

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

1 Kazimir Majorinc: Extension Rule for Non-Clausal Propositional Calculus. Fundam. Inform. 31(2): 107-116 (1997)