DaftarIsitemplate |
Call Number |
SEM-281 |
Title |
Combining multisets with integers, Hal. 363-376 |
Author |
Gologero G. Zarba; |
Publisher |
Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002 |
Subject |
Location |