Collective Operations on Number-Membered Sets
Formalized Mathematics - Poland
doi 10.2478/v10037-009-0011-0
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2009
Authors
Publisher
Walter de Gruyter GmbH
Available in full text
January 1, 2009
Walter de Gruyter GmbH