scientific article; zbMATH DE number 2169314

zbMath1064.03505MaRDI QIDQ4676766

S. S. Shkil'nyak

Publication date: 20 May 2005

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

zbMATH Keywords

sequent calculilogics of partial predicates

Mathematics Subject Classification ID

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

This page was built for publication: