|
|
|
|
|
|
|
|
|
Eqrd
| Словарь терминов и сокращений в авиации |
Equipment ready date
|
Equipment ready date, английский
Дата готовности оборудования
|
|
Equipment ready date, английский
Дата готовности оборудования
Eqp, английский
- Equip
- Аппаратура; оборудование; приборы
- Eqp is an automated theorem proving program for first-order equational logic. its strengths are good implementations of associative-commutative unification and matching a variety of strategies for equational reasoning and fast search. it seems to perform well on many problems about lattice-like structures. it is freely available on the www. see also: http://www.mcs.anl.gov/ar/eqp/
|
|
|
|
|
|
|
