Wszystkie pola: FORMAL - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Computing Formal Concepts by Attribute Sorting
Autorzy:: Krajca, P.
Outrata, J.
Vychodil, V.
Data publikacji:: 2012
Słowa kluczowe:: compute formal concepts
formal contexts
formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Continuous Domains in Formal Concept Analysis
Autorzy:: Wang, Longchun
Guo, Lankun
Li, Qingguo
Data publikacji:: 2021
Słowa kluczowe:: attribute continuous formal context
categorical equivalence
continuous formal concept
domain theory
formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The role of formal semantics in linguistics
Autorzy:: Walter Swetly
Data publikacji:: 2012
Tematy:: formal semantics
donkey sentences
formal languages; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Formal asynchronous systems modelling
Autorzy:: Kohn, M.
Schmeck, H.
Data publikacji:: 2000
Słowa kluczowe:: asynchronous systems
asynchronous computations
formal methods in systems modelling
abstract computations
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Data publikacji:: 2005
Słowa kluczowe:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Formal Syntax of Natural Languages and the Deductive Grammar
Autorzy:: Wang, Y.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
linguistics
computational linguistics
formal languages
universal grammar
deductive grammar
formal syntax
formal semantics
EBNF
RTPA
comparative linguistics
software engineering
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A Formal Model of Multi-Agent Organisations
Autorzy:: Köhler, M.
Data publikacji:: 2007
Słowa kluczowe:: multi-agent systems
formal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Otrzymywanie formalu glicerolu przez transacetalizację metylalu
Autorzy:: Trybuła, S.
Terelak, K.
Olejarz, A.
Brekier, S.
Data publikacji:: 2010
Słowa kluczowe:: formal glicerolu
transacetalizacja metylalu
glycerol formal
transacetalization of methylal; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Formal language recognition by stochastic cellular automata
Autorzy:: Merkle, D.
Worsch, T.
Data publikacji:: 2002
Słowa kluczowe:: cellular automata
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:: Singh, P. K.
Aswani Kumar, C.
Gani, A.
Data publikacji:: 2016
Słowa kluczowe:: concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: On naturality of the formal Euler operator
Autorzy:: Mikulski, Włodzimierz
Data publikacji:: 2005
Słowa kluczowe:: natural operator
formal Euler operator; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: A Possibility-Theoretic View of Formal Concept Analysis
Autorzy:: Dubois, D.
Dupin de Saint-Cyr, F.
Data publikacji:: 2007
Słowa kluczowe:: formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Exploring the Dynamic Landscape of Formal, Informal and Non-Formal Learning
Autorzy:: Ewa Jurczyszyn
Data publikacji:: 2024-08-08
Tematy:: informal learning
learning continuum
non-formal learning
learning typology gradation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Environmental education in Poland : its present status
Autorzy:: Grodzińska-Jurczak, Małgorzata
Data publikacji:: 2004
Słowa kluczowe:: ecology
environmental education
formal education
non-formal education
Poland
educational outcomes; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: 'Det' – som formelt subjekt, objekt og prædikativ i dansk
Autorzy:: Szubert, Andrzej
Data publikacji:: 2009-01-01
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: det
formelt subjekt
formelt objekt
formelt prædikativ
formal subject
formal object
formal predicative; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: 'Det' – som formelt subjekt, objekt og prædikativ i dansk
Autorzy:: Andrzej Szubert
Data publikacji:: 2009
Tematy:: det
formelt subjekt
formelt objekt
formelt prædikativ
formal subject
formal object
formal predicative; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Relational Contexts and Relational Concepts
Autorzy:: Jiang, F.
Sui, Y.
Cao, C.
Data publikacji:: 2010
Słowa kluczowe:: formal concept analysis
FCA
formal contexts
relational contexts
concept lattices
supply chain; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Algebras of Definable Sets vs. Concept Lattices
Autorzy:: Wasilewski, Piotr
Data publikacji:: 2019
Słowa kluczowe:: formal concept
formal concept analysis
granular set
lattice
rough set
rough set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:: Singh, P. K.
Aswani Kumar, C.
Gani, A.
Data publikacji:: 2016
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Wsparcie edukacji formalnej z wykorzystaniem edukacji pozaformalnej – warsztaty interaktywne
Support for Formal Education with the Use of Non-Formal Education – Interactive Workshops
Autorzy:: WARCHOŁ, TOMASZ
Data publikacji:: 2017
Wydawca:: Uniwersytet Rzeszowski
Tematy:: warsztaty interaktywne
edukacja formalna
technologia
edukacja pozaformalna
interactive workshops
formal education
technology
non-formal education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Wsparcie edukacji formalnej z wykorzystaniem edukacji pozaformalnej – warsztaty interaktywne
Support for Formal Education with the Use of Non-Formal Education – Interactive Workshops
Autorzy:: WARCHOŁ TOMASZ
Data publikacji:: 2017
Tematy:: warsztaty interaktywne
edukacja formalna
technologia
edukacja pozaformalna
interactive workshops
formal education
technology
non-formal education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Formal verification of STPA with model checking
Autorzy:: Kwon, Ryeonggu
Kwon, Gihwon
Data publikacji:: 2023
Słowa kluczowe:: formal verification
model checking
STPA; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek, Janusz
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek Janusz
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: E-learning & Lifelong Learning
Autorzy:: Smyrnova-Trybulska, Eugenia
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: informal learning
education
lifelong learning
e-learning
formal
non-formal; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Wszystkie pola