Publikacje
 
  Dane użytkownika  |  Wypożyczenia  |  Zamówienia  |  Historia wypożyczeń  |  Przedłuż wszystkie  |  Transakcje finansowe  

Pełny widok rekordu

Wybierz format: Standard Karta katalogowa Cytata Etykiety nazw Etykiety MARC
Autor   LinkMatuszewski, Roman. Uniwersytet w Białymstoku. Wydział Filologiczny.
W:   LinkIssues of Decidability and Tractability / guest ed.: Witold Marciszewski
Tytuł   LinkOn computer-assisted Approach to Formalized Reasoning / Roman Matuszewski
Adres wydawniczy   LinkBiałystok : University of Białystok, 2006. - S. 61-71 
Seria/Cykl   Link(Studies in Logic, Grammar and Rhetoric ; 9 (22))

Wybierz format: Standard Karta Katalogowa Cytata Etykiety nazw Etykiety MARC