Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Computational Aspects of an Order-Sorted Logic with Term Declarations

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-51705-4 / 978-3540517054 / 9783540517054

Verlag: Springer Berlin

Erscheinungsdatum: 20.09.1989

Seiten: 174

Auflage: 1

Zielgruppe: Research

Autor(en): Manfred Schmidt-Schauß

37,44 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück