Temat: tableaux - 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ę "tableaux" wg kryterium: Temat

Wyświetlanie 1-9 z 9

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Accents of Chopin anniversaries in territories annexed by Prussia
Autorzy:: Piotrowska, Magdalena
Data publikacji:: 2010
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: Fryderyk Chopin
anniversary
Wielkopolska
concerts
tableaux vivants
tableaux illuminés
mass audience
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Autorzy:: Ciuciura, Janusz
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: deontic logic
K1
Kalinowski’s logic
paradoxes
tableaux
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Quidam wobec poetyki żywych obrazów. Przyczynek do genologii poematu
Quidam and the poetics of the tableau vivants. A contribution to the genology of the poem
Autorzy:: Chlebowski, Piotr
Data publikacji:: 2020-05-05
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: Quidam
Cyprian Norwid
obraz
narracja
fabuła
zdarzenie
żywe obrazy
tableaux vivants
picture
narrative
event
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Les modes transgressifs de l’espace au profit de l’espace-temps dans La Route des Flandres (1960) de Claude Simon
Transforming space into space-time in "La Route des Flandres" (1960) by Claude Simon
Autorzy:: Camara, Moussa
Data publikacji:: 2020
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: space
space-time
memories
paintings
transgression, Claude Simon
espace
espace-temps
souvenirs
tableaux
transgression
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: From workflow design patterns to logical specifications
Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
Autorzy:: Klimek, R.
Data publikacji:: 2013
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: formal verification
temporal logic
deduction
semantic tableaux
design patterns
generating logical specification
weryfikacja formalna
logika temporalna
dedukcja
tablice semantyczne
wzorce projektowe
generowanie specyfikacji logicznej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Graficzne przedstawienie przemocy w Quarante tableaux Jeana Perrissina i Jacques’a Tortorela
The Graphic Representation of Violence in Quarante Tableaux by Jean Perrissin and Jacques Tortorel
Autorzy:: Szmytka, Rafał
Data publikacji:: 2017
Wydawca:: Uniwersytet Jagielloński. Biblioteka Jagiellońska
Tematy:: religious wars in France
violence
graphic history
sixteenth century
historical anthropology
Jan Ponętowski
Qurante tableaux
wojny religijne we Francji
przemoc
historia graficzna
XVI wiek
antropologia historyczna
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Deduction-based Formal Verification of Business Models using Temporal Logic
Autorzy:: Klimek, R.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: modele biznesowe
BPMN
SOA
wzorce projektowe
logika temporalna
wnioskowanie dedukcyjne
metoda tablic semantycznych
generowanie specyfikacji
business models
workflow design patterns
temporal logic
deductive reasoning
semantic tableaux method
generating specifications
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A system for deduction-based formal verification of workflow-oriented software models
Autorzy:: Klimek, R.
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Knowability as De Re Modality: A Certain Solution to Fitch Paradox
Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha
Autorzy:: Jarmużek, Tomasz
Krawczyk, Krzysztof
Palczewski, Rafał
Data publikacji:: 2021-01-04
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: antyrealizm
modalność de dicto
modalność de re
logika epistemiczna
paradoks Fitcha
logika poznawalności
zasada poznawalności
logika modalna
metody tablicowe
anti-realism
de dicto modality
de re modality
epistemic logic
Fitch Paradox
knowability logic
knowability principle
modal logic
tableaux methods
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-9 z 9

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.