A New Proof that π.

Richard Gostanian Karel Hrbacek

Published in: Math. Log. Q. (1979)

Keyphrases

theorem proving
linear logic
mathematical proofs
real time
databases
machine learning
multimedia
reinforcement learning
cooperative
artificial neural networks
logic programming
sequent calculus