Temat: PROPOSITIONAL LOGIC

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "PROPOSITIONAL LOGIC" wg kryterium: Temat

Wyświetlanie 1-10 z 17

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A Resolution Calculus for First-order Schemata
Autorzy:: Aravantinos, V.
Echenim, M.
Peltier, N.
Data publikacji:: 2013
Słowa kluczowe:: first-order logic
propositional logic
resolution calculus
schemata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Asymptotic Properties of Logics
Autorzy:: Zaionc, M.
Data publikacji:: 2003
Słowa kluczowe:: propositional logic
asymptotic density of tautologies
probabilistc methods in logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Valuation graphs for propositional logic
Autorzy:: Stępień, L.
Data publikacji:: 2010
Słowa kluczowe:: valuation graphs
propositional logic
wykresy wyceny
rachunek zdań; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Autorzy:: Nguyen L.A.
Szałas, A.
Data publikacji:: 2010
Słowa kluczowe:: propositional dynamic logic
checking consistency; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
Autorzy:: Kurata, Toshihiko
Fujita, Ken-etsu
Data publikacji:: 2019
Słowa kluczowe:: second-order intuitionistic propositional logic
complete Heyting algebras
completeness theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On Inferences of Full First-Order Hierarchical Decompositions
Autorzy:: Link, S.
Data publikacji:: 2011
Słowa kluczowe:: relational model of data
database decomposition
database constraint
axiomatisation
propositional logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Dowody metodą tableaux
Autorzy:: Szyper, L.
Data publikacji:: 1999
Słowa kluczowe:: artificial intelligence
information systems
propositional logic
sztuczna inteligencja
systemy informatyczne
logika zdań; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection
Autorzy:: Balbiani, P.
Data publikacji:: 2003
Słowa kluczowe:: propositional modal logic
propositional dynamic logic
composition of programs
intersection of programs
test on a formula
deductive completeness
subordination method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Invariance Under Stuttering in a Temporal Logic without the "Until" Operator
Autorzy:: Kaminski, M.
Data publikacji:: 2008
Słowa kluczowe:: propositional temporal logic
temporal interpretations
invariance under stuttering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Several Remarks about Three-valued Kleene's Propositional Logic, without Tautologies
Autorzy:: Bryll, G.
Jaworski, L.
Data publikacji:: 2003
Słowa kluczowe:: propositional Kleene's logic
logic without tautologies
tautology
logika zdań Kleene'a
logika bez tautologii
tautologia; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 17

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

Informacja

Wyszukujesz frazę "PROPOSITIONAL LOGIC" wg kryterium: Temat