权威例句
An efficient propositional proverSimplify: a theorem prover for program checkingIsabelle --- A Generic Theorem ProverOn the power of unique 2-prover 1-round gamesOn the power of unique 2-prover 1-round gamesSATO: An Efficient Propositional ProverIsabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)Nondeterministic exponential time has two-prover interactive protocolsNon-Deterministic Exponential Time has Two-Prover Interactive Protocols