Cancellative Abelian monoids in refutational theorem proving [Elektronische Ressource] / Uwe Waldmann

Subjects

• Documents
• Knowledge
• Informatik

Informations

• Published by: universitat_des_saarlandes
• Published: 01 January 2004
• Reads: 12
• Language: English
• Document size: 1 MB

Exrait

U

!"
#$
%'& ()*
+-,
./021
34/0.5"6
798: ;4<>=@?BAC<EDFD
?F:'M_op:>aKbFD[HSJLaKb(:ODrqB<s\
=tNOu
?F:'MW7IDFHtv`:'MOJQHtN'u
wB<P<sMx[Myu
aL\z:OD
?[:>J9G5RP\BNKRPMOJ]?[:'M_^QDX`:ODFHS:
U
MO8H@JKJL:OD(JKaKb<EcdNK:ODfegG]MZhjik^lDX[hnm
GIH@JKJL:'MONK<PNQHSRPD
<EN
TU
<EN5?[:>J5wB<P<sM'=@<>D(?F:>J
MWVM=S<>DX
U
U
{E|`|z}
DX?F:>JIYIMO<Z?F:>J


+8
! #"
$%&
#"
&