- Tytuł:
- Opening the AC-unification race
- Autorzy:
- Źródło:
- Journal of Automated Reasoning. December 1988 4(4):465-474
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.