1
Szerző: Sandford, David M.
Megjelenés: 1980
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1980
könyv