Informacja

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


Tytuł:
On Some Language Extension of Logic MR: A Semantic and Tableau Approach
O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau
Autorzy:
Jarmużek, Tomasz
Parol, Aleksander
Data publikacji:
2021-01-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
rozszerzenie minimalnej logiki pozycyjnej
MR
logika pozycyjna
operator realizacji
metody tableau
extension of minimal positional logic
positional logic
realization operator
tableau methods
Pokaż więcej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of steady-state processes in matrix-reactance frequency converters with different pulsations
Autorzy:
Zięba, B.
Data publikacji:
2011
Słowa kluczowe:
matrycowo- reaktancyjny przekształtnik prądu przemiennego
metoda Galerkina
rozszerzenie równań różniczkowych
metody analityczne i numeryczne
matrix-reactance frequency converter
extension of differential equations
Galerkin's method
analytical and numerical methods
Pokaż więcej
Dostawca treści:
BazTech
Artykuł

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