Wszystkie pola: logical methods

Skocz do pozycji: 1.

Tytuł:: Logical Methods in Computer Science
Współwytwórcy:: Scott, Dana S.
Data publikacji:: 2005-
Wydawca:: International Federation of Computational Logic
Słowa kluczowe:: automatyczne dowodzenie twierdzeń
teoria informatyki
logika w informatyce
sztuczna inteligencja
programowanie logiczne
automatyczne wnioskowanie; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Continuous-Logical Methods in Mathematical Economics
Autorzy:: Vitaly I. Levin
Data publikacji:: 2016-03-01
Tematy:: continuous logic
logical determinant
mathematical economics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
Autorzy:: Szałas, A.
Data publikacji:: 2006
Słowa kluczowe:: kwantyfikatory
robotyka
techniki logistyczne
quantifiers
robotics
logical methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
Autorzy:: Szałas, A.
Data publikacji:: 2006
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: kwantyfikatory
robotyka
techniki logistyczne
quantifiers
robotics
logical methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Combining logical and distributional methods in type-logical grammars
Autorzy:: Moot, R.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: type-logical grammar
Lambek calculus
theorem proving; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Combining logical and distributional methods in type-logical grammars
Autorzy:: Moot, R.
Data publikacji:: 2018
Słowa kluczowe:: type-logical grammar
Lambek calculus
theorem proving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Analiza i eksploracja danych metodami syntezy logicznej
Autorzy:: Łuba, Tadeusz
Wąsicki, Dariusz
Data publikacji:: 2020
Słowa kluczowe:: eksploracja danych
redukcja atrybutów
sekwencyjne pokrywanie
funkcja rozróżnialności
macierz rozróżnialności
indukcja reguł
pokrycie kolumnowe
transformacja CNF na DNF
postać normalna
data mining
attributes reduction
sequential covering
discernibility function
discernibility matrix
rule induction
column covering
conjunctive normal form
disjunctive normal form
CNF on to DNF transformation
normal form; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Metody syntezy logicznej w optymalizacji sprzętowej systemów eksploracji danych
Autorzy:: Wąsicki, Dariusz
Malinowska, Agnieszka
Data publikacji:: 2020
Słowa kluczowe:: dekompozycja funkcjonalna
dekompozycja liniowa
funkcja generowania indeksów
generator indeksów
metoda s-Min
program Błyskawica
functional decomposition
index generation functions
index generation unit
Lightning (Błyskawica) application
linear decomposition
s-Min method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Analysis, verification and design of tabular systems. Logical, algebraic and graphical methods
Autorzy:: Ligęza, A.
Nalepa, G. J.
Szmuc, T.
Szpyrka, M.
Szwed, P.
Wojnicki, I.
Data publikacji:: 2001
Słowa kluczowe:: systemy tablicowe
tabular systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: An overview of structural and logical coverage measurement methods and an implementation of modified condition/decision coverage measurement
Przegląd metod pomiaru pokrycia strukturalnego oraz logicznego i implementacja pomiaru pokrycia warunków znaczących
Autorzy:: Morszczyński, Artur
Słowa kluczowe:: software testingcode coveragestructural coveragelogical coveragemodified condition/decision coveragesoftware engineeringPython
testowanie oprogramowaniapokrycie kodupokrycie strukturalnepokrycie logicznepokrycie warunków znaczącychinżynieria oprogramowaniaPython; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logical methods" wg kryterium: Wszystkie pola