Login / Signup
A proof of Boesch's conjecture.
Guifang Wang
Published in:
Networks (1994)
Keyphrases
</>
databases
theorem prover
high level
linear logic
mathematical proofs
machine learning
image processing
optimal solution
search algorithm
preprocessing
expert systems
management system
proof theory
geometry theorem proving