Wykaz publikacji wybranego autora

Grzegorz Jacek Nalepa, dr hab. inż., prof. AGH

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-8182-4225 połącz konto z ORCID

ResearcherID: E-5016-2011

Scopus: 55879229400

PBN: 5e70922c878c28a0473911a0

OPI Nauka Polska




1
  • Integrated design environment for formal verifiacation of ruled-based systemsZintegrowane środowisko wspierające formalną weryfikację systemów regułowych / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Inżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2003. — S. 30–37. — Bibliogr. s. 36, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Knowledge-based design and verification environment for rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 461–466. — Bibliogr. s. 466, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Meta-level approach to knowledge management in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Pozyskiwanie wiedzy i zarządzanie wiedzą / red. naukowi Małgorzata Nycz, Mieczysław Lech Owoc ; AE im. Oskara Langego we Wrocławiu. — Wrocław : Wydawnictwo AE im. Oskara Langego, 2003. — (Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; ISSN 0324-8445 ; nr 975). — S. 332–339. — Bibliogr. s. 338–339

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: