Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "kolorowanie sieci" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
    Autorzy:
    Tkacz, Jacek
    Data publikacji:
    2007
    Dostawca treści:
    Academica
    Artykuł
    Szczegóły
    Tytuł:
    Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
    State Machine type colouring of Petri net by means of using a symbolic deduction method
    Autorzy:
    Tkacz, J.
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    logika Gentzena
    sekwent
    wnioskowanie symboliczne
    sterowniki logiczne
    sieci Petriego
    składowe automatowe
    dekompozycja
    Gentzen logic
    sequent
    symbolic deduction
    logic controllers
    Petri nets
    decomposition
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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