Wszystkie pola: logic of predicates

Skocz do pozycji: 1.

Tytuł:: Explicit substitution into action : a non-monotonic logic for reasoning about actions and change
Autorzy:: Bednarczyk, M.
Data publikacji:: 2001
Słowa kluczowe:: logika predykatów
jawne zastąpienia
logic of predicates
explicit substitution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
Autorzy:: Grimson, R.
Kuijpers, B.
Data publikacji:: 2014
Słowa kluczowe:: second-order logic
equivalence of formulas
containment
(un)decidability results
predicates; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Conception of partial specification of logic controller deterministic state machine
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Słowa kluczowe:: deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: The logic and linguistic model for automatic extraction of collocation similarity
Autorzy:: Khairova, N.
Petrasova, S.
Gautam, A. P. S.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: automatic extraction
identification of collocation similarity
finite predicates algebra
logicalalgebraic equations
grammatical and semantic features; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The logic and linguistic model for automatic extraction of collocation similarity
Autorzy:: Khairova, N.
Petrasova, S.
Gautam, A. P. S.
Data publikacji:: 2015
Słowa kluczowe:: automatic extraction
identification of collocation similarity
finite predicates algebra
logicalalgebraic equations
grammatical and semantic features; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja