Computational Aspects of an Order Sorted Logic with Term Declarations

Name: Computational Aspects of an Order Sorted Logic with Term Declarations
SKU: eac180e56f8c6d6380ce6adadc548f50
Price: 43.99 EUR
Availability: InStock

1/1

Afbeelding van Computational Aspects of an Order Sorted Logic with Term Declarations

Bol

Prijzen vanaf

43,99

Uitgelicht

	43,99	Naar shop
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.

Lees meer

Vergelijk aanbieders (1)

Shop

Prijs

Verzendkosten

Totale prijs

43,99

Gratis

43,99

Naar shop

Gratis

Beschrijving (1)

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

Lees meer