Wszystkie pola: logic formulas

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ę "logic formulas" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 14

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Intuitionistic Predicate Logic with Decidable Propositional Formulas
Autorzy:: Sakharov, A.
Data publikacji:: 2007
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Level Mapping Induced Loop Formulas forWeight Constraint and Aggregate Logic Programs
Autorzy:: Liu, G.
You, J-H.
Data publikacji:: 2011
Słowa kluczowe:: logic programs
answer sets
weight constraints
aggregates
loop formulas; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
Autorzy:: Liu, G.
You, J-H.
Data publikacji:: 2010
Słowa kluczowe:: logic programs
answer sets
weight constraints
aggregates
loop formulas; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Purely equivalential propositional formulas in the intermediate Godel-Dummett logic
Autorzy:: Slomczynska, K.
Data publikacji:: 2007
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On the Relationship between Description Logic-based and F-Logic-based Ontologies
Autorzy:: de Bruijn, J.
Heymans, S.
Data publikacji:: 2008
Słowa kluczowe:: frame logic
ontology translation
ontology meta-modeling
equality-safe formulas
semantic web language layering
f-logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Jankov - style formulas and refutation systems
Autorzy:: Citkin, A.
Data publikacji:: 2013
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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ł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems
Autorzy:: Woźna-Szcześniak, B.
Data publikacji:: 2016
Słowa kluczowe:: bounded arithmetics
deontic logic
mathematical formulas
branching processes
data analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Decidable formulas of intuitionistic primitive recursive arithmetic
Autorzy:: Salehi, S.
Data publikacji:: 2002
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Separability, Expressiveness, and Decidability in the Ambient Logic
Autorzy:: Hirschkoff, D.
Data publikacji:: 2003
Słowa kluczowe:: Mobile Ambients
spatial logics
modal logics
intensionality
characteristic formulas; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 14

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ę "logic formulas" wg kryterium: Wszystkie pola