Cancellative Abelian monoids in refutational theorem proving [Elektronische Ressource] / Uwe Waldmann
182 Pages
English
Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

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

Downloading requires you to have access to the YouScribe library
Learn all about the services we offer
182 Pages
English

Informations

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