• Anglický jazyk

Computational Aspects of an Order-Sorted Logic with Term Declarations

Autor: Manfred Schmidt-Schauß

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Viac o knihe

Na objednávku

34.64 €

bežná cena: 38.49 €

O knihe

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 1989
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783540517054

Generuje redakčný systém BUXUS CMS spoločnosti ui42.