scientific article

zbMath0972.03533MaRDI QIDQ2737328

S. S. Shkil'nyak, N. S. Nikitchenko

Publication date: 11 September 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial predicatescomposition nominative logicscomposition system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

This page was built for publication: