scientific article
From MaRDI portal
Publication:2701734
zbMath0977.68074MaRDI QIDQ2701734
Publication date: 19 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order predicate logicformal methodsautomated deductioninference systemsauthentication protocollogic-based component retrievalStenning communication protocol
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
This page was built for publication:
