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