scientific article; zbMATH DE number 1360950
From MaRDI portal
Publication:4269904
zbMATH Open0937.03018MaRDI QIDQ4269904
Publication date: 10 November 1999
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 Q4269904)
