Entdecken

Computational Aspects of an Order-Sorted Logic with Term Declarations
37,44 € *

inkl. MwSt. zzgl. Versandkosten

Sofort versandfertig, Lieferzeit ca. 1-3 Werktage

  • Springer, Berlin
  • Manfred Schmidt-Schauß
  • KNV23235560
  • 9783540517054
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of... mehr
Produktinformationen "Computational Aspects of an Order-Sorted Logic with Term Declarations"
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Weiterführende Links zu "Computational Aspects of an Order-Sorted Logic with Term Declarations"
Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Computational Aspects of an Order-Sorted Logic with Term Declarations"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.
Bitte geben Sie die Zeichenfolge in das nachfolgende Textfeld ein.

Die mit einem * markierten Felder sind Pflichtfelder.

Zuletzt angesehen