An automatic proof of Go¨del's incompleteness theorem
Authors:
Kurt Ammon
Affiliations:
-
Venue:
Artificial Intelligence
Year:
1993
Citing
0
Cited
1
Approximative graph pyramid solution of the E-TSP
Image and Vision Computing
Quantified Score
Hi-index
0.00
Visualization
Abstract