AAAAAA

   
Results: 1-2 |
Results: 2
Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross
Authors: J.G.F.Belinfante
Citation: J.g.f.belinfante, Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross, Journal of automated reasoning , 22(3), 1999, pp. 311-339
On Computer-Assisted Proofs in Ordinal Number Theory
Authors: J.G.F.Belinfante
Citation: J.g.f.belinfante, On Computer-Assisted Proofs in Ordinal Number Theory, Journal of automated reasoning , 22(3), 1999, pp. 341-378
Risultati: 1-2 |