Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements

From MaRDI portal
Revision as of 13:55, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:833736

DOI10.1016/J.INS.2008.12.008zbMath1179.68151OpenAlexW2016586936MaRDI QIDQ833736

Vladimir Vladimirovich Rybakov

Publication date: 14 August 2009

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2008.12.008




Related Items (10)




Cites Work




This page was built for publication: Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements