Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Hanna, Gila"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Opening a Discussion on Teaching Proof with Automated Theorem Provers
    Autorzy:
    Hanna, Gila
    Yan, Xiaoheng
    Pokaż więcej
    Deskryptory:
    Mathematics Instruction
    Validity
    Mathematical Logic
    Teaching Methods
    Computer Assisted Testing
    Computer Software
    Undergraduate Students
    Źródło:
    For the Learning of Mathematics. 2021 41(3):42-46.
    Recenzowane naukowo:
    Y
    Page Count:
    5
    Dostęp URL:
    https://flm-journal.org/index.php?do=show&lang=en&showMenu=41%2C3  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies