Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Confe
125,41 €
The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. - The Commuting V-Diagram. - Concurrent Construction of Proof-Nets.
Jetzt bei Ebay:
