Temat: Logic of Time - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: O rodzajach logik temporalnych
Autorzy:: Kozanecka, Anna
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: czas gramatyczny
logika temporalna
logika czasów gramatycznych
logika czasu
And Next – „i następnie”
And Then – „i wtedy”
Tense
Temporal Logic
Tense Logic
Logic of Time
Chronological Logic
And Next
And Then; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Analysis of laws of nature in Branching Time
Analiza praw przyrody w BT
Autorzy:: Kukier, Tymon
Słowa kluczowe:: Branching Time, logika ockhamistyczna, prawa przyrody, modalność fizyczna, kontrafktyczność, subnomiczna stabilność
Branching Time, occkhamist logic, laws of nature, physical modality, counterfactuality, subnomic stability; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A propositional logic of temporal connectives
Autorzy:: Epstein Richard L.
Buitrago-Díaz Esperanza
Data publikacji:: 2014-09-06
Tematy:: temporal logic
propositional logic
completeness theorem
linear orderings
subjective experience of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: SYSTEMS OF TENSE LOGIC IN THE NATURAL SCIENCES (Systemy tense logic oraz ich stosowalnosc w naukach przyrodniczych)
Autorzy:: Kozanecka-Dymek Anna
Tematy:: ADEQUACY
APPLICATION
RELATION OF PRECEDING
TENSE LOGIC
TIME
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych
Application of language of some systems of temporal logic in the natural sciences
Autorzy:: Anna Kozanecka-Dymek
Tematy:: application
language
temporal logic
natural sciences
adequacy
physical model of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Discreteness of time and change
Nieciągłość czasu i zmiany
Autorzy:: Johannes Czermak
Kordula Świętorzecka
Tematy:: discretness of time
change
logic of change
nieciągłość czasu
zmiana
logika zmiany; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Stosowalność języka niektórych systemów logiki temporalnej w naukach przyrodniczych
APPLICATION OF LANGUAGE OF SOME SYSTEMS OF TEMPORAL LOGIC IN THE NATURAL SCIENCES
Autorzy:: Anna Kozanecka-Dymek
Tematy:: application
language
temporal logic
natural sciences
adequacy
physical model of time; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Concurrent operation of processors in the bit-byte CPU of a PLC
Autorzy:: Chmiel, M.
Hrynkiewicz, E.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: programmable logic controller
central processing unit
bit-byte structure of CPU
scan time
throughput time
concurrent operation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Concurrent operation of processors in the bit-byte CPU of a PLC
Autorzy:: Chmiel, M.
Hrynkiewicz, E.
Data publikacji:: 2010
Słowa kluczowe:: programmable logic controller
central processing unit
bit-byte structure of CPU
scan time
throughput time
concurrent operation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On reducing PLC response time
Autorzy:: Chmiel, M.
Data publikacji:: 2008
Słowa kluczowe:: programmable logic controller
bit-byte structure of CPU
control program
scan time
response time
throughput time
Timer Function
counter function
concurrent operation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Aspekty temporalne powinności w logice deontycznej: od von Wrighta do Thomasona
Temporal Aspects of Obligations in Deontic Logic: From von Wright to Thomason
Autorzy:: Popławski Patryk
Tematy:: logika deontyczna
czas obowiązku
czas powinności
obowiązek
powinność
aspekty czasowe obowiązków
aspekty czasowe powinności
deontic logic
the time of obligation
obligation
ought
time aspects of oughts
time aspects of obligations
oughtness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Automatic Learning of Temporal Relations Under the Closed World Assumption
Autorzy:: Nicoletti, M. C.
Lisboa, F. O. S. S.
Hruschka Jr, E. R.
Data publikacji:: 2013
Słowa kluczowe:: Allen's temporal algebra
automatic learning of temporal relations
inductive logic programming
learning under closed world assumption
time intervals
time points
time representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
Autorzy:: Vakarelov, D.
Data publikacji:: 2010
Słowa kluczowe:: dynamic mereotopology
point-free theory of space and time
topological representation theorem
spatio-temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Sú fyzické indivíduá kontingentné entity?
Are Physical Individuals Contingent Entities?
Autorzy:: Pavel Cmorej
Tematy:: the understanding of individuals in the transparent intensional logic of P. Tichý
existential text of the individual
the constancy of the universe of the individual
the identification of individuals in time
the essence of the individual and its identificability; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Method for deisotoping based on fuzzy inference systems
Autorzy:: Glodek, A.
Polańska, J.
Data publikacji:: 2018
Słowa kluczowe:: fuzzy logic
fuzzy inference systems
deisotoping
mass spectrometry
algorithms
MALDI ToF
MALDI
matrix assisted laser desorption
matrix assisted laser ionization
ToF
time-of-flight
matematyka stosowana
systemy rozmyte
logika rozmyta
proteomika
spektrometria mas
obwiednie izotopowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logic of Time" wg kryterium: Temat