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)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "quantifier" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    On a universal axiomatization of the real closed fields
    Autorzy:
    Nowak, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/1310894.pdf
    Data publikacji:
    1996
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    real closed fields
    real valuations
    Nash functions
    quantifier elimination
    Opis:
    This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
    Źródło:
    Annales Polonici Mathematici; 1996-1997, 65, 1; 95-103
    0066-2216
    Pojawia się w:
    Annales Polonici Mathematici
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      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