![Simplification orders in term rewriting [Elektronische Ressource] / vorgelegt von Ingo Lepper](https://img.uscri.be/pth/592b2c953e8472f723084fd3276f5b30fb6f387c)
Documents
Savoirs
Simplification orders in term rewriting [Elektronische Ressource] / vorgelegt von Ingo Lepper
Auteur
Ingo Lepper
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.