Bibliografia Dorobku Piśmienniczego Pracowników Politechniki Łódzkiej od 2004

1/3
Nr opisu: 0000026681
Autorzy: Adam Niewiadomski, Andrzej Indrzejczak.
Tytuł: The Gentzen sequent calculus in e-testing. Pt. 1: Foundations.
Czasopismo: J. Appl. Comput. Sci. 2010 Vol.18 nr 1 s.39-48
Lokalizacja dokumentu: Wł. Bibl. Politech. Łódz.
p-ISSN: 1507-0360
Zasięg czasopisma: M
Półrocze: 1
Kraj: POL
Język: eng
Punktacja MNiSW: 6.000
Praca afiliowana przez PŁ
2/3
Nr opisu: 0000027589
Autorzy: Adam Niewiadomski, Andrzej Indrzejczak.
Tytuł: The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation.
Czasopismo: J. Appl. Comput. Sci. 2010 Vol.18 nr 2 s.57-65
Lokalizacja dokumentu: Wł. Bibl. Politech. Łódz.
p-ISSN: 1507-0360
Zasięg czasopisma: M
Półrocze: 2
Kraj: POL
Język: eng
Punktacja MNiSW: 6.000
Praca afiliowana przez PŁ
3/3
Nr opisu: 0000000916
Autorzy: Adam Niewiadomski, Andrzej Indrzejczak.
Tytuł: Rachunek sekwentów Gentzena w automatycznej ewaluacji testów egzaminacyjnych.
Tytuł równoległy: The application of Gentzen's sequent calculus in automated evaluation of exam tests.
Czasopismo: Zesz. Nauk. Wyż. Szk. Humanist. Ekon. Łodzi. Seria 3. Zarządzanie Informacją 2004 Z.5 s.51-58, sum.
forma: odb.
Lokalizacja dokumentu: Wł. Inst. Inform.
p-ISSN: 1505-8441
Uwagi wewnętrzne: DIG_000916
Zasięg czasopisma: K
Półrocze: 2
Kraj: POL
Język: pol
Wyświetl ponownie stosując format:

Wyświetl/ukryj etykiety | Wyświetlenie wyników w wersji do druku | Pobranie pliku do edytora | Nowe wyszukiwanie | Biblioteka PŁ