Tomasz Borzyszkowski

Systemy logiczne dla specyfikacji strukturalnych (Systemy logiczne dla specyfikacji strukturalnych)

Affiliation

Instytut Matematyki Uniwersytetu Gdańskiego

Field

informatics

Awarding date

Dec. 14, 2000

Supervisor

• prof. dr hab. Andrzej Tarlecki

Reviewers

• dr hab. Michał Grabowski
• dr hab. Marian Srebrny (Instytut Podstaw Informatyki PAN)