Term Indexing

NOK 774,00
+ NOK 226,49 i frakt

Term Indexing

Solgt av:
  • product image

NOK 774,00

På lager
+ NOK 226,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Term Indexing

Term Indexing Supports The Construction Of Efficient Automated Reasoning Systems, As E.g. Automated Theorem Provers, By Allowing Rapid Access To First Order Predicate Calculus Terms With Specific Properties.this Monograph Provides A Comprehensive, Well-written Survey On Term Indexing In General And Presents Indexing Techniques For The Retrieval And Maintenance Of Data That Help To Overcome Program Degradation In Automated Reasoning Systems. Theoretical Foundations And Applicational Aspects Are Treated In Detail; Finally The Purr Prover For Parallel Unit Resulting Resolution Is Discussed To Demonstrate The Importance Of Careful Implementations.
  • Fruugo-ID: 557237656-1125507289
  • ISBN: 9783540610403
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 226,49 - Levering mellom kl ons. 25 november 2026–fre. 27 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur