Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen. Identifying Nearly Minimal Gödel Numbers from Additional Information. Annals of Mathematics and Artificial Intelligence, 23(1-2):199-209, 1998.
No references recorded for this publication.
No citations of this publication recorded.