scientific article
From MaRDI portal
Publication:3999307
zbMath0705.68030MaRDI QIDQ3999307
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items
Unnamed Item ⋮ Running programs backwards: The logical inversion of imperative computation ⋮ Proof-search in type-theoretic languages: An introduction
This page was built for publication: