Encyclopedia : E : EQ : EQP (1 articles)

---

---

 

EQP
EQP, an abbreviation for Equational Prover is an automated theorem proving program for first-order equational logic, developed by the [Mathematics and Computer Science Division] of the Argonne National Laboratory and among other used for solving the problem proposed by Herbert Robbins whet..

 

---

From Wikipedia, the Free Encyclopedia. Article contents subject to the GNU Free Documentation License.

---

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?