EQP

EQP, an abbreviation for equational prover, is an automated theorem proving program for equational logic, developed by the Mathematics and Computer Science Division of the Argonne National Laboratory. It was one of the provers used for solving a longstanding problem posed by Herbert Robbins, namely, whether all Robbins algebras are Boolean algebras.

单词	EQP
释义	EQP 英语百科 EQP EQP, an abbreviation for equational prover, is an automated theorem proving program for equational logic, developed by the Mathematics and Computer Science Division of the Argonne National Laboratory. It was one of the provers used for solving a longstanding problem posed by Herbert Robbins, namely, whether all Robbins algebras are Boolean algebras.
随便看	NMP22的意思 NMPA的意思 NMPNC的意思 nmps的意思 NMR的意思 NMRA的意思 NMR absorption band的意思 NMR absorption line的意思 NMR acquisition time的意思 NMR active fibrinogen derivative的意思 NMR analysis的意思 NMR,Biomolecular的意思 NMRC的意思 NMR cryostat的意思 NMRCT的意思 NMR equipment的意思 NMR external reference sample的意思 NMR flowmeter的意思 NMR frequency shift的意思 nmrg的意思 NMR Gauss meter的意思 NMR,Heteronuclear的意思 NMRI的意思 nmr imaging的意思 NMR imaging equipment的意思