Automated Deduction – CADE 28



Bok Engelsk
Annen tittel
Utgitt
Springer International Publishing
ISBN
3-030-79876-3

Bibliotek som har denne