Executable temporal logic systems
From MaRDI portal
Publication:679342
DOI10.1006/jsco.1996.0073zbMath0874.68278MaRDI QIDQ679342
Publication date: 12 June 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1996.0073
68T27: Logic in artificial intelligence