scientific article; zbMATH DE number 3626422
From MaRDI portal
Publication:4188579
zbMath0403.62014MaRDI QIDQ4188579
Publication date: 1978
Full work available at URL: https://eudml.org/doc/27425
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LogicDecision ProblemSimple HypothesisAutomated Theorem-ProvingDeducibility ProblemFormalized TheoryParametric Test
Related Items
Cites Work