Temat: first-order logic - 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ę "first-order logic" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: An ontology based approach for assisting conceptualisation in CAD processes
Autorzy:: Grabska, Ewa
Data publikacji:: 2014
Wydawca:: SCITEPRESS - Science and Technology Publications
Słowa kluczowe:: design requirement
diagram
many-sorted first-order logic
visual design
design knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Design Supported by Many-Sorted First-Order Logic Constraints with Aggregate Operators
Autorzy:: Palacz, W.
Data publikacji:: 2017
Słowa kluczowe:: design requirements
design support system
constraints
many-sorted first-order logic
aggregate functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Design supported by many-sorted first-order logic constraints with aggregate operators
Autorzy:: Palacz, Wojciech
Data publikacji:: 2017
Słowa kluczowe:: design support system
constraints
many-sorted first-order logic
design requirements
aggregate functions; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Engineering design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2015
Słowa kluczowe:: design support system
many-sorted first-order logic
design requirements
knowledge-based reasoning
hierarchical hypergraphs; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Engineering Design Supported by Many-Sorted First-Order Logic-Based Reasoning
Autorzy:: Palacz, W.
Grabska, E.
Ślusarczyk, G.
Gajek, S.
Data publikacji:: 2015
Słowa kluczowe:: design requirements
many-sorted first-order logic
knowledge-based reasoning
design support system
hierarchical hypergraph; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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ę "first-order logic" wg kryterium: Temat