Automatyczne dowodzenie twierdzeń
Autor: Data wydania oryg.: Wydanie oryg.: Temat i słowa kluczowe:informatyka ; cybernetyka matematyczna ; cybernetyka ; sztuczna inteligencja ; logika matematyczna
Opis:vol. 19 serii Biblioteczka Matematyczna
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: