Temat: Constraint Logic Programming

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ę "Constraint Logic Programming" wg kryterium: Temat

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Autorzy:: De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Data publikacji:: 2017
Słowa kluczowe:: Constraint Handling Rules
CHR
constraint logic programming
CLP
program transformation
program verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Techniki programowania z ograniczeniami w zarządzaniu wiedzą MŚP
Autorzy:: Bach, I.
Bocewicz, G.
Banaszek, Z.
Data publikacji:: 2007
Słowa kluczowe:: przedsiębiorstwo
MŚP
programowanie z ograniczeniami
CLP
zarządzanie wiedzą
enterprise
SME
constraint logic programming
knowledge management; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń
Autorzy:: Sitek, P.
Wikarek, J.
Bocewicz, G.
Data publikacji:: 2007
Słowa kluczowe:: harmonogramowanie zadań
rozdział zasobów
problem spełniania ograniczeń
CSP
programowanie w logice z ograniczeniami
CLP
scheduling problem
Constraint Satisfaction Problem
Constraint Logic Programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Zastosowanie technik programowania CLP do planowania przepływu produkcji w przedsiębiorstwach produkcyjnych
Autorzy:: Tomczuk-Piróg, I.
Data publikacji:: 2006
Słowa kluczowe:: język OPL
problem spełniania ograniczeń
system wariantowania zleceń
constraint logic programming
CLP
decision support systems
DSS
Production Order Verification System
POVS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Rule-based Verification Strategy for Array Manipulating Programs
Autorzy:: De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Data publikacji:: 2015
Słowa kluczowe:: logic programming
constraint logic programs
CLP
verification
quadratic transformations
refutation logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Słowa kluczowe:: język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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ę "Constraint Logic Programming" wg kryterium: Temat