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 Biblioteki  UŚ  i  UE  w  Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteki  UŚ  i  UE  w  Katowicach
Nowości Rankingi Rezerwacja kabin Zaproponuj zakup Aplikacja mobilna

Wyszukujesz frazę "Dowodzenie (logika)" wg kryterium: Temat

  Lista filtrów
Położenie
Pokaż wszystkie »
Pokaż wszystkie »
Pokaż wszystkie »
Wyrównaj
    Wyświetlanie 1-11 z 11
    propozycja biblioteki
    Tytuł pełny:
    Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem / Č. Čen', R. Li ; per. s ang. G. V. Davydova, G. E. Minca, A. V. Sočilinoj ; pod red. S. Û. Maslova
    Wydawca:
    Moskva : Nauka. Glavnaâ redakciâ fiziko-matematičeskoj literatury
    Rok wydania:
    1983
    Seria:
    Matematičeskaâ Logika i Osnovaniâ Matematiki
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
    Wydawca:
    New York [etc.] : Harper & Row
    Rok wydania:
    cop. 1986
    Seria:
    Harper & Row Computer Science and Technology Series
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Les mathématiques a la portée de l'ordinateur / par André Arnold ; pref. de J. Kuntzmann
    Wydawca:
    Paris : Dunod
    Rok wydania:
    1970
    Seria:
    Initiation aux Nouveautés de la Science ; 22
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Theorem-proving systems / Ewa Orłowska ; Polska Akademia Nauk. Instytut Matematyczny
    Wydawca:
    Warszawa : Państwowe Wydawnictwo Naukowe
    Rok wydania:
    1973
    Seria:
    Dissertationes Mathematicae = Rozprawy Matematyczne ; 103
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak
    Wydawca:
    Katowice : Uniwersytet Śląski
    Rok wydania:
    1993
    Seria:
    Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 484
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Sekwencyjna postać logik skończenie wielowartościowych : automatyzacja dowodzenia twierdzeń / Piotr Borowik
    Wydawca:
    Częstochowa : Wydawnictwo Wyższej Szkoły Pedagogicznej
    Rok wydania:
    2001
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela
    Wydawca:
    Katowice : Wydawnictwo Uniwersytetu Śląskiego
    Rok wydania:
    2000
    Seria:
    Prace Naukowe Uniwersytetu Śląskiego w Katowicach 0208-6336 nr 1901
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Using sophisticated models in resolution theorem proving / David M. Sandford
    Wydawca:
    Berlin : Springer-Verlag
    Rok wydania:
    1980
    Seria:
    Lecture Notes in Computer Science ; 90
    Książka
    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

      Prześlij opinię

      Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

      Formularz