Identifying nearly minimal Gödel numbers from additional information


Authored By:Rusins Freivalds, Ognian Botuscharov and Rolf Wiehagen
Paper Title:Identifying nearly minimal Gödel numbers from additional information
In:Annals of Mathematics and Artificial Intelligence
Number 1/2 Vol. 23
Publication Date: 1998
Pages:199-209