A logical modeling system
From MaRDI portal
Publication:880641
zbMath1110.68408MaRDI QIDQ880641
N. G. Volchenkov, A. G. Fetisova, A. A. Smirnov, Sergey Popov
Publication date: 16 May 2007
Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication: A logical modeling system
