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 26

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Coherence and computational complexity of quantifier-free dependence logic formulas
Autorzy:: Kontinen, Jarmo
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Graph-based representation of design properties in creating building floorplans
Autorzy:: Ślusarczyk, Grażyna
Data publikacji:: 2018
Słowa kluczowe:: graph grammars
hierarchical graphs
logic formulas
graph requirements
knowledge-based reasoning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Remarks on stable formulas in intuitionistic logic
Współwytwórcy:: Bibak, Ali Autor
Alizadeh, Majid Autor
Data publikacji:: 2019
Tematy:: Logika intuicjonistyczna
Logika pośrednia
Semantyka Kripkego; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Remarks on Stable Formulas in Intuitionistic Logic
Autorzy:: Alizadeh Majid
Bibak Ali
Data publikacji:: 2019-06-15
Tematy:: intuitionistic logic
intermediate logic
subframe logics
monotonic maps
stable logics
uniform interpolation property; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

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: 6.

Tytuł:: Inverse images of box formulas in modal logic
Autorzy:: Humberstone, Lloyd (1949- )
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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: 8.

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: 9.

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: 10.

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

Wyświetlanie 1-10 z 26

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