Computational Aspects of an Order Sorted Logic with Term Declarations

1/1
Afbeelding van Computational Aspects of an Order Sorted Logic with Term Declarations
Bol
Prijzen vanaf
42,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.
Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
42,99
Gratis
42,99
Naar shop
Gratis Shipping Costs
Beschrijving (1)

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

Productspecificaties

EAN
  • 9783540517054
Maat

Prijzen voor het laatst bijgewerkt op:

Higher Order Algebra, Logic, and Term Rewriting

46,99
Meer informatie Meer info

Aspects of Philosophical Logic

70,50
Meer informatie Meer info
-5 %

Computational Aspects

99,99
Meer informatie Meer info

Sorted into Time Order

56,76
Meer informatie Meer info
Uitgelichte Keuze
42,99
Naar shop