Bücher nach ISBN
>
VDM Verlag Dr. Müller
> Friedrich Neurauter
Friedrich Neurauter
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Preserving Regularity via Logic Programs: Proving Regularity Preservation of Term Rewrite Systems with Logic Programming Techniques
978-3-639-OO838-8
(3-639-OO838-3)
2008
Friedrich Nicolai