Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • Autor
  • Współtwórca
  • Tytuł
  • Temat i słowa kluczowe
  • Data wydania
  • Typ zasobu
  • Jezyk
  • Prawa do dysponowania publikacją

Szukana fraza: [Temat i słowa kluczowe = technika cyfrowa] lub [Temat i słowa kluczowe = sekwent] lub [Temat i słowa kluczowe = drzewo dowodu] lub [Temat i słowa kluczowe = logika matematyczna] lub [Temat i słowa kluczowe = Gentzen] lub [Temat i słowa kluczowe = wnioskowanie symboliczne] lub [Tytuł = PROJEKTOWANIE UKŁADÓW STEROWANIA BINARNEGO WSPOMAGANE AUTOMATYCZNYM WNIOSKOWANIEM GENTZENA] lub [Autor = Tkacz, Jacek]

Wyników: 1

Obiektów na stronie:
AMCS, volume 36 (2026)

Pavlenko, Ivan Roshchupkin, Oleksandr Ochowiak, Marek Krupińska, Andżelika Doligalski, Michał Tkacz, Jacek Okarma, Krzysztof - ed. Skrzypczyński, Piotr - ed. Stefanowski, Jerzy - ed.

2026
artykuł

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji