Atjaunināt sīkdatņu piekrišanu

Computational Aspects of an Order-Sorted Logic with Term Declarations 1989 ed. [Mīkstie vāki]

  • Formāts: Paperback / softback, 174 pages, height x width: 235x155 mm, weight: 590 g, X, 174 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 395
  • Izdošanas datums: 20-Sep-1989
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540517057
  • ISBN-13: 9783540517054
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 33,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 39,44 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Computational Aspects of an Order-Sorted Logic with Term Declarations 1989 ed.Palielināt
  • Formāts: Paperback / softback, 174 pages, height x width: 235x155 mm, weight: 590 g, X, 174 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 395
  • Izdošanas datums: 20-Sep-1989
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540517057
  • ISBN-13: 9783540517054
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783540517054.html
Keywords:
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

Papildus informācija

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