1
Megjelenés: 1984
Tárgyszavak:
“...automatikus tételbizonyítás (matematikai logika)...”
könyv