Noch Fragen? 0800 / 33 82 637

Computational Aspects of an Order-Sorted Logic with Term Declarations

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-46774-8 / 978-3540467748 / 9783540467748

Verlag: Springer Berlin

Erscheinungsdatum: 19.11.2005

Seiten: 174

Autor(en): Manfred Schmidt-Schauß

37,44 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück