Evidential paradigm: the logical aspect
From MaRDI portal
Publication:557410
DOI10.1023/B:CASA.0000012086.56979.F4zbMATH Open1097.68631OpenAlexW1969227311MaRDI QIDQ557410FDOQ557410
Authors: A. V. Lyaletskiĭ
Publication date: 30 June 2005
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:casa.0000012086.56979.f4
Recommendations
- Evidence algorithm and SAD systems: past and possible future
- Mathematical text processing in EA-style: a sequent aspect
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Publication:4938416
- Evidence algorithm and inference search in first-order logics
Cited In (5)
- Evidence algorithm and inference search in first-order logics
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
- Mathematical text processing in EA-style: a sequent aspect
- Glushkov's evidence algorithm
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
This page was built for publication: Evidential paradigm: the logical aspect
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557410)