A Circuit-Based Proof of Toda's Theorem

Ravi Kannan H. Venkateswaran V. Vinay Andrew Chi-Chih Yao

Published in: Inf. Comput. (1993)

Keyphrases

interactive theorem proving
theorem proving
high speed
circuit design
electronic circuits
theorem prover
neural network
von neumann
website
analog circuits
automated theorem proving
analog vlsi
proof planning
intuitionistic logic
multi agent
decision trees
linear logic
artificial intelligence
data mining