Wszystkie pola: Form (Logic)

Skocz do pozycji: 1.

Tytuł:: The theory of form logic
Autorzy:: Freitag, Wolfgang
Współwytwórcy:: Zinke, Alexandra
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The Theory of Form Logic
Autorzy:: Wolfgang Freitag
Alexandra Zinke
Data publikacji:: 2012-12-01
Tematy:: form logic
particular-universal distinction
three-valued logic
logical form
Wittgenstein; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Relational Logic of Franciscus Toletus and Petrus Fonseca
Autorzy:: Petr Dvořák
Data publikacji:: 2009
Tematy:: Syllogism
Logic
Form (Logic)
Performers
Toledo, Francisco De
Fonseca, Petrus; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: SMTBDD : New Form of BDD for Logic Synthesis
Autorzy:: Kubica, M.
Kania, D.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: logic synthesis
SMTBDD
decomposition
technology mapping
FPGA
digital circuits; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: SMTBDD : New Form of BDD for Logic Synthesis
Autorzy:: Kubica, M.
Kania, D.
Data publikacji:: 2016
Słowa kluczowe:: logic synthesis
SMTBDD
decomposition
technology mapping
FPGA
digital circuits; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The conjunction of a particular form of majority logic functions and some of its properties
Koniunkcja większościowych funkcji logicznych szczególnej postaci i pewne jej własności
Объединение мажоритарных логических функций особого вида и некоторые его свойства
Autorzy:: Kulesza, R.
Data publikacji:: 1970
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The conjunction of particular form of majority logic functions and some of its properties
Koniunkcja większościowych funkcji logicznych szczególnej postaci i pewne jej własności
Zastosowania Matematyki T.11 (1969-1970)
Applicationes Mathematicae T.11 (1969-1970)
Autorzy:: Kulesza, Roman
Współwytwórcy:: Polska Akademia Nauk. Instytut Matematyczny.
Data publikacji:: 1969-1970
Wydawca:: Państwowe Wydawnictwo Naukowe
Słowa kluczowe:: Matematyka -- czasopisma. [KABA]
Matematyka -- zastosowania naukowe -- czasopisma. [KABA]; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Forma metropolitalna i zrównoważona mobilność
Autorzy:: Zuziak, Z.
Data publikacji:: 2010
Słowa kluczowe:: forma urbanistyczna
logika formy urbanistycznej
mobilność
obszary metropolitalne
planowanie przestrzenne
rozwój zrównoważony
suburbanizacja
rozproszenie zabudowy
zrównoważona mobilność
logic of urban form
metropolitan areas
mobility
spatial planning
suburbanization
sustainable development
urban form
urban sprawl
sustainable mobility; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The role of normal logical form in decision - making and knowledge management
Autorzy:: Galanc, T.
Kołwzan, W.
Pieronek, J.
Data publikacji:: 2014
Słowa kluczowe:: normal form
knowledge
management
logic
pragmatism
decision making; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The role of normal logical form in decision-making and knowledge management
Autorzy:: Tadeusz GALANC
Wiktor KOŁWZAN
Jerzy PIERONEK
Tematy:: normal form
knowledge
management
logic
pragmatism
decision making; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: The role of normal logical form in decision - making and knowledge management
Autorzy:: Galanc, T.
Kołwzan, W.
Pieronek, J.
Data publikacji:: 2014
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: normal form
knowledge
management
logic
pragmatism
decision making; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: From the poset of literals to a temporal negative normal form
Autorzy:: Cordero, P.
Enciso, M.
Guzman, I.
Data publikacji:: 2002
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Semantic normal form
Autorzy:: Wroński, A.
Data publikacji:: 2000
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Constraint Logic Programming with Polynomial Constraints over Finite Domains
Autorzy:: Bergenti, F.
Monica, S.
Rossi, G.
Data publikacji:: 2018
Słowa kluczowe:: constraint logic programming
modified Bernstein form
polynomial constraints over finite domains; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: On Logic, Syntax, and Silence
Autorzy:: Majid Davoody Beni
Data publikacji:: 2015-09-01
Tematy:: syntax
grammar
silence
proposition
logical form
convention; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: VOCALISM - THE EARLY FORM OF THE NOMINALISM
Autorzy:: Otisk M.
Tematy:: GRAMMAR
NOMINALISM
SEMANTICS
SUBJECT OF LOGIC
VOCALISM
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Logika idei i logika przestrzeni. forma w mieście odbudowywanym na przykładzie śródmieścia Poznania
Autorzy:: Marciniak, P.
Data publikacji:: 2008
Słowa kluczowe:: architektura
forma
Poznań
przebudowa
architecture
conversion
form; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Tensions Regarding Epistemic Concepts
Autorzy:: Joseph Margolis
Data publikacji:: 2009-06-01
Tematy:: representationalist form of scientific realism
internal realism
incommensurability
logic of material inference; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Translacja pętli for języka VHDL do postaci równań boolowskich
Autorzy:: Bielecki, W.
Radziewicz, M.
Data publikacji:: 2007
Słowa kluczowe:: VHDL
FPGA
synteza logiczna
logic synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Determination of optimum hull form for passenger car ferry with regard to its sea-keeping qualities and additional resistance in waves
Autorzy:: Cepowski, T.
Data publikacji:: 2008
Słowa kluczowe:: sea-keeping qualities
roll-on/roll-off ferry ship
rolling
transverse accelerations
vertical accelerations
motion sickness index
additional resistance in waves
ship hull form
ship design parameters
artificial neural networks
fuzzy logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Logos optikos. Wizualna logika sensu formy
Autorzy:: Dürschke, G. J.
Data publikacji:: 2012
Słowa kluczowe:: detal architektoniczny
metajęzyk formy
ściana osłonowa
tektoniczna syntaksa formy
tektoniczna syntaksa znaku
architectural detail
metalanguage of a form
curtain wall
tectonic syntax of a form
tectonic syntax of a sign; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Determination of optimum hull form for passenger car ferry with regard to its sea-keeping qualities and additional resistance in waves
Autorzy:: Cepowski, T.
Data publikacji:: 2008
Wydawca:: Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:: sea-keeping qualities
roll-on/roll-off ferry ship
rolling
transverse accelerations
vertical accelerations
motion sickness index
additional resistance in waves
ship hull form
ship design parameters
artificial neural networks
fuzzy logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej
Equivalence reduction of formulas of non-Fregean logic to prenex normal forms
Autorzy:: Janusz Wesserling
Tematy:: Non-Fregean sentential calculus
WBQ-theory
identity connective
prenex normal form
substitution rule
substitution rule for identity
extensionality rule
extensionality rule for identity
Niefregowska logika zdaniowa
WBQ-teoria
spójnik identyczności
kwantyfikatorowa postać normalna
reguła zastępowania
reguła zastępowania dla identyczności
reguła ekstensjonalności
reguła ekstensjonalności dla identyczności; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Form (Logic)" wg kryterium: Wszystkie pola