A New Proof of Winquist's Identity.

Published in: J. Comb. Theory, Ser. A (1997)

Keyphrases

theorem prover
theorem proving
identity management
data sets
real time
multi agent
wide range
logical rules
information systems
linear logic