Definitional approach to automatic demonstration
Autor: Data wydania oryg.: Wydanie oryg.: Temat i słowa kluczowe:informatyka ; automatyka ; teoria mnogości ; logika matematyczna
Opis: Typ zasobu: Format: Język: Powiązania:Bibliografia pełnotekstowa publikacji prof. Zdzisława Pawlaka
Prawa:Danuta Pawlak ; Andrzej Skowron, autor bibliografii ; Małgorzata Dorota Rybnik
Sygnatura BCPW: