scientific article

zbMath0970.68144MaRDI QIDQ2703721

David J. Pym

Publication date: 7 May 2001

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

zbMATH Keywords

algorithmic proof-search

Mathematics Subject Classification ID

Related Items (1)

A content semantics for quantified relevant logics. II

This page was built for publication: