Wszystkie pola: Formulas - Prolib Integro

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

Wyświetlanie 1-10 z 11

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Improvements in SAT-based Reachability Analysis for Timed Automata
Autorzy:: Zbrzezny, A.
Data publikacji:: 2004
Słowa kluczowe:: machine theory
mathematical formulas
robotics
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: More on Square-free Words Obtained from Prefixes by Permutations
Autorzy:: Ochem, P.
Data publikacji:: 2014
Słowa kluczowe:: vocabulary
permutations
mathematical formulas
morphism
mathematical proofs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
Autorzy:: Castiglioni, V.
Lanotte, R.
Tini, S.
Data publikacji:: 2016
Słowa kluczowe:: satisfiability
arithmetic
mathematical formulas
problem solving
substitution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Rough Net Structures : Example of Information System
Autorzy:: Czaja, L.
Data publikacji:: 2013
Słowa kluczowe:: rough sets
lattice theory
calculus
mathematical formulas
information theory
mathematical analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Proving Propositional Tautologies in a Natural Dialogue
Autorzy:: Yaskorska, O.
Budzynska, K.
Kacprzak, M.
Data publikacji:: 2013
Słowa kluczowe:: pleonasm
dialogue
communication
mathematical formulas
computer systems
computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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

Tytuł:: From the segmentation to the complete reading of a mathematical document
Autorzy:: Toumit, J. Y.
Emptoz, H.
Data publikacji:: 1998
Słowa kluczowe:: automatic reading
mathematical formulas
multilingual segmentation
grayscale image; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: ACBC-Adequate Association and Decision Rules Versus Key Generators and Rough Sets Approximations
Autorzy:: Kryszkiewicz, M.
Data publikacji:: 2016
Słowa kluczowe:: rough sets
approximation theory
mathematical formulas
mathematical proofs
pattern recognition system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Twelve Years of QBF Evaluations : QSAT Is PSPACE-Hard and It Shows
Autorzy:: Marin, P.
Pulina, L.
Giunchiglia, E.
Narizzano, M.
Tacchella, A.
Data publikacji:: 2016
Słowa kluczowe:: computer algorithms
computational complexity
problem solving
mathematical formulas
machine theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Analiza formuł opisujących spadki ciśnienia powietrza przepływającego przez złoże bezprzeponowego gruntowego wymiennika ciepła
Autorzy:: Romański, L.
Data publikacji:: 2001
Słowa kluczowe:: wymiennik ciepła
opór przepływu
przepływ powietrza
formuła matematyczna
badania
ground heat exchanger
air flow resistance
static pressure drop
mathematical formulas
measurement results; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 11

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