1
Szerző: Socher-Ambrosius, Rolf
Megjelenés: 1997
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1997
könyv