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 Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaKatalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Wyszukujesz frazę "Logika temporalna." wg kryterium: Temat

  Lista filtrów

Położenie

Autor

Pokaż wszystkie »

Temat

Pokaż wszystkie »

Rok publikacji

Język

Kraj

Typ dokumentu

Wyrównaj
    Wyświetlanie 1-16 z 16
    propozycja biblioteki
    Tytuł pełny:
    Logika czasu empirycznego : funktor realizacji czasowej w językach teorii fizykalnych / Marcin Tkaczyk ; [Katolicki Uniwersytet Lubelski Jana Pawła II. Wydział Filozofii. Katedra Logiki]
    Wydawca:
    Lublin : Wydawnictwo KUL
    Rok wydania:
    cop. 2009
    Temat:
    Logika temporalna - rozprawy akademickie.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Weryfikacja modelowa specyfikacji sterowników logicznych/ Iwona Grobelna ; Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki
    Wydawca:
    Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego
    Rok wydania:
    cop. 2012
    Temat:
    Sterowniki programowalne - rozprawy akademickie.
    Logika temporalna - rozprawy akademickie.
    Weryfikacja (logika) - rozprawy akademickie.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Tense logic / Robert P. McArthur
    Wydawca:
    Dordrecht ; Boston : D. Reidel Publishing Company
    Rok wydania:
    cop. 1976
    Seria:
    Synthese Library : monographs on epistemology, logic, philosophy of science, sociology of science and of knowledge, an on the mathematical methods of social and behavioral sciences ; vol. 111
    Temat:
    Logika temporalna.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Logika temporalna : wybrane zagadnienia / Kazimierz Trzęsicki
    Wydawca:
    Białystok : Wydawnictwo Uniwersytetu
    Rok wydania:
    2008
    Temat:
    Logika temporalna.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Formal semantics and pragmatics for natural languages / ed. by F. Guenthner and S. J. Schmidt
    Wydawca:
    Dordrecht [etc.] : D. Reidel Publishing Company
    Rok wydania:
    cop. 1979
    Seria:
    Synthese Language Library : tekst and studies in linguistics and philosophy ; vol. 4
    Temat:
    Filozofia języka - konferencje.
    Gramatyka porównawcza i ogólna - konferencje.
    Logika temporalna - konferencje.
    Pragmatyka (językoznawstwo) - konferencje.
    Rachunek kwantyfikatorów - konferencje.
    Semantyka - konferencje.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Logika operatorów czasów gramatycznych a problem determinizmu / Kazimierz Trzęsicki
    Wydawca:
    Białystok : Dział Wydawnictw Filii UW
    Rok wydania:
    1986
    Seria:
    Rozprawy Uniwersytetu Warszawskiego = Dissertationes Universitatis Varsoviensis ; 306
    Temat:
    Determinizm (filozofia).
    Logika temporalna.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Time : past, present, future / Zdzisław Augustynek ; translated from the Polish by Stanisław Semczuk and Witold Strawiński
    Wydawca:
    Warszawa : PWN - Polish Scientific Publishers ; Dordrecht [etc.] : Kluwer Academic Publishers
    Rok wydania:
    cop. 1991
    Temat:
    Czas (filozofia).
    Logika temporalna.
    Książka
    Szczegóły
    propozycja biblioteki
    Tytuł pełny:
    Implementacja dat względnych w systemie wnioskowania o zależnościach czasowych między zdarzeniami / Elżbieta Hajnicz
    Wydawca:
    Warszawa : IPI. PAN
    Rok wydania:
    1988
    Seria:
    Prace IPI PAN = ICS PAS Reports / Instytut Podstaw Informatyki Polskiej Akademii Nauk, 0138-0648 ; 628
    Temat:
    Logika temporalna.
    Semantyka - informatyka.
    Logika informatyczna.
    Czas rzeczywisty (informatyka).
    Sztuczna inteligencja.
    Książka
    Szczegóły
      Wyświetlanie 1-16 z 16

      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