1
Szerző: Snyers, Dominique (1959-)
Megjelenés: 1987
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1987
könyv