Anna Zalewska

According to our database, Anna Zalewska authored at least 2 papers in 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Mizar Course in Logic and Set Theory.

Ewa Borak, Anna Zalewska

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Analysis of Microscopic Mast Cell Images Based on Network of Synchronised Oscillators.

Michal Strzelecki, Hyongsuk Kim, Pawel Liberski, Anna Zalewska

Proceedings of the Adaptive and Natural Computing Algorithms, 8th International Conference, 2007