scientific article; zbMATH DE number 2080447
From MaRDI portal
zbMath1046.68563MaRDI QIDQ4473238
Bertram Fronhöfer, Akihiro Yamamoto
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1968/19680156.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Hypothesis finding based on upward refinement of residue hypotheses., Hypothesis finding with proof theoretical appropriateness criteria