Tomasz Jarmużek – Formalizacja metod tablicowych dla logik zdań i logik nazw
Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia ...
Tag: Tomasz Jarmużek
Polecane
Nowe ebooki
Józef Golicki – Album Tczewski. Fotografie do 1945 roku
Jagna Niedzielska – Bez resztek. Kuchnia zero waste, czyli nie wyrzucaj pieniędzy i jedzenia
Praca zbiorowa – Konflikty ekologiczne -jak sobie z nimi radzić
Każde przedsięwzięcie infrastrukturalne niesie ryzyko wejścia w konflikt ze stronami, które uważają je za niekorzystne czy wręcz szkodliwe dla środowiska...
Read more