Publication:2753849
From MaRDI portal
zbMath0973.03065MaRDI QIDQ2753849
John Howse, John Taylor, Fernando Molina
Publication date: 11 November 2001
Logic in artificial intelligence (68T27) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items