Witold Marciszewski

Œuvres (1)

Couverture : Mechanization of Reasoning in a Historical Perspective

Mechanization of Reasoning in a Historical Perspective

1995