Sign in

A Short Proof of the Non-biplanarity of $$K_9$$.

Ahmad Biniaz
Published in: Graph Drawing (2021)
Keyphrases
  • theorem proving
  • neural network
  • website
  • artificial neural networks
  • linear logic
  • real time
  • web pages
  • natural deduction