scientific article; zbMATH DE number 3487016

zbMATH Open0311.68055MaRDI QIDQ4069801FDOQ4069801

Authors: Wolfgang Bibel 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25)

Cited In (1)

• A comparative study of several proof procedures

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 Q4069801)