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ę ""Magaud, Nicolas"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Formalizing Some 'Small' Finite Models of Projective Geometry in Coq
    Autorzy:
    Braun, David
    Magaud, Nicolas
    Schreck, Pascal
    Pokaż więcej
    Źródło:
    Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings. 11110:54-69
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Changing Data Representation within the Coq System
    Autorzy:
    Magaud, Nicolas
    Pokaż więcej
    Źródło:
    Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings. 2758:87-102
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Changing Data Structures in Type Theory: A Study of Natural Numbers
    Autorzy:
    Magaud, Nicolas
    Bertot, Yves
    Pokaż więcej
    Źródło:
    Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers. 2277:181-196
    Książka elektroniczna
    Szczegóły
      Wyświetlanie 1-11 z 11

      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