Parallelism in deductive inference on graph structures

DOI10.1023/A:1012450113475zbMath1075.68651OpenAlexW1588305310MaRDI QIDQ1778348

V. N. Vagin, A. I. Averin

Publication date: 17 June 2005

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012450113475

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Parallelism in deductive inference on graph structures