scientific article
From MaRDI portal
Publication:3201746
zbMath0715.68012MaRDI QIDQ3201746
Roberto Barbuti, Maurizio Martelli
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
An extended constraint deductive database: theory and implementation ⋮ Proof methods of declarative properties of definite programs
This page was built for publication:
