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