-
5641
-
5642Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedingsανά Fraser, GordonΛήψη πλήρους κειμένου
Έκδοση 2010
Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο -
5643
-
5644
-
5645
-
5646
-
5647
-
5648
-
5649
-
5650
-
5651
-
5652
-
5653
-
5654
-
5655
-
5656
-
5657
-
5658
-
5659
-
5660