scientific article
From MaRDI portal
Publication:2753849
zbMath0973.03065MaRDI QIDQ2753849
John Howse, John Taylor, Fernando Molina
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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