「PROVER」の共起表現(1語右で並び替え)

Weblio 辞書 > 英和辞典・和英辞典 > PROVERの意味・解説 > PROVERに関連した共起表現

意味

例文

共起表現

「PROVER」の共起表現一覧(1語右で並び替え)

該当件数 : 23件

n superposition (e.g. the E equational theorem	prover), although only a few implement the pure calcu
program, Herbert Gelernter's Geometry Theorem	Prover and Alex Bernstein's chess program.
ually involves the use of an automated theorem	prover and, in ESC/Java, the Simplify theorem prover
Gandalf is a first-order automated theorem	prover applied to several domain-specific tasks such
th Moore, and Matt Kaufmann on another theorem	prover called ACL2.
The Abella	prover can be used to prove theorems about λProlog pr
ions (LCF) is an interactive automated theorem	prover developed at the universities of Edinburgh and
Otter is an automated theorem	prover developed by William McCune at Argonne Nationa
HOL Light is a member of the HOL theorem	prover family.
SPASS is an automated theorem	prover for first-order logic with equality developed
the web), user-configurable automated theorem	prover for first-order predicate logic with equality.
I's New Automated Reasoning Kit), is a theorem	prover for multi-sorted first-order logic intended fo
t widely distributed, high-performance theorem	prover for first-order logic, and it pioneered a numb
The Abella theorem	prover has been designed to provide an interactive en
ver, since the tool to find the proof (theorem	prover) is implemented in software and is complex, th
In the early 1970s a theorem	prover named AURA, for AUtomated Reasoning Assistant,
laborated on the Boyer-Moore automated theorem	prover, Nqthm, in 1992.
lgorithm and the Boyer-Moore automated theorem	prover, Nqthm.
used in conjunction with an automated theorem	prover or constraint solver based on constraint logic
Dependent ML employs a constraint theorem	prover to decide a strong equational theory over the
Matita is an experimental, interactive theorem	prover under development at the Computer Science Depa
er will be convinced of this fact by an honest	prover with probability at least 1/2.

共起表現

「PROVER」の共起表現(1語右で並び替え) - Weblio英語共起表現検索

「PROVER」の共起表現一覧(1語右で並び替え)