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

Sujets

• Informatik

Informations

• Publié par: universitat_des_saarlandes
• Publié le: 01 janvier 2004
• Nombre de lectures: 12
• Langue: English
• Poids de l'ouvrage: 1 Mo

Extrait

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
! #"
$%&
#"
&