Paweł Gburzyński

• Protocol design for local and metropolitan area networks
• Automatyczne dowodzenie twierdzeń z wykorzystaniem zasady rezolucji