How to build a pillar: A proof of Thomassen's conjecture.

Irene Gil Fernández Hong Liu

Published in: J. Comb. Theory, Ser. B (2023)

Keyphrases

theorem proving
linear logic
case study
similarity measure
multi agent
theorem prover
multiresolution
information technology
automated theorem provers
logical rules
sequent calculus
knowledge representation
real time
preprocessing
multiscale
web services
image processing
databases