|
|
|
|
|
|
|
|
|
წავი (ზოოლ.)
Англо-грузинский словарь |
|
Otter, английский
- [1] a minesweeping device which keeps the sweep wire extended laterally. [2] a similar device used to hold open the mouth of a fishing trawl.
- Otter is an automated deduction system designed to prove theorems stated in first-order logic with equality. otter`s inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, knuth-bendix completion, weighting, and strategies for directing and restricting searches for proofs. otter can also be used as a symbolic calculator and has an embedded equational programming system. otter is a fourth-generation argonne national laboratory deduction system whose ancestors (dating from the early 1960s) include the tp series, niutp, aura, and itp. currently, the main application of otter is research in abstract algebra and formal logic. otter is a freely available system, coded in c, and is available through the www. see also: http://www.mcs.anl.gov/ar/otter/, restriction strategy, set of support strategy.
|
|
Ought, английский
Otter, английский
- [1] a minesweeping device which keeps the sweep wire extended laterally. [2] a similar device used to hold open the mouth of a fishing trawl.
- Otter is an automated deduction system designed to prove theorems stated in first-order logic with equality. otter`s inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, knuth-bendix completion, weighting, and strategies for directing and restricting searches for proofs. otter can also be used as a symbolic calculator and has an embedded equational programming system. otter is a fourth-generation argonne national laboratory deduction system whose ancestors (dating from the early 1960s) include the tp series, niutp, aura, and itp. currently, the main application of otter is research in abstract algebra and formal logic. otter is a freely available system, coded in c, and is available through the www. see also: http://www.mcs.anl.gov/ar/otter/, restriction strategy, set of support strategy.
|
|
|
|
|
|
|