Kp. Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak. - Warszawa, 1993.
Powered by Koha
Languages:
English