Login / Signup
A Proof of Regularity for Finite Splicing.
Vincenzo Manca
Published in:
Aspects of Molecular Computing (2004)
Keyphrases
</>
neural network
complete axiomatization
genetic algorithm
finite number
theorem proving
theorem prover
expert systems
database systems
proof planning
video sequences
database
website
decision making
search engine
finite automata
automated theorem proving
machine learning
interactive theorem proving