Pocketbok

I lager hos iMusic

Visa slutsålda utgivelser

Releases med Alessandro B Montanari

Cover for Alessandro B Montanari · Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings - Lecture Notes in Computer Science (Pocketbok) (2002)
Pocketbok
Theorem Proving in Higher Order ...
Alessandro B Montanari