Canonical Equational Proofs (Progress in Theoretical Computer Science) von Bachmair | ISBN 9780817635473

Canonical Equational Proofs (Progress in Theoretical Computer Science)

Buchcover Canonical Equational Proofs (Progress in Theoretical Computer Science) | Bachmair | EAN 9780817635473 | ISBN 0-8176-3547-5 | ISBN 978-0-8176-3547-3

Canonical Equational Proofs (Progress in Theoretical Computer Science)

Quelle: amazon.de, abgerufen am 18.06.2025 23:23:36