scientific article; zbMATH DE number 13446
From MaRDI portal
Publication:3977980
zbMATH Open0792.68162MaRDI QIDQ3977980
Publication date: 25 June 1992
Title of this publication is not available (Why is that?)
Related Items (3)
Automatic inductive theorem proving using Prolog ⋮ A machine program for theorem-proving ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3977980)
