Termination Proofs For Logic Programs

NOK 774,00
+ NOK 229,99 i frakt

Termination Proofs For Logic Programs

Solgt av:

NOK 774,00

På lager
+ NOK 229,99 i frakt

14-dagers returpolicy

Betalingsmåter:


Produktdetaljer

Produktdetaljer

Termination Proofs For Logic Programs

Termination Proofs Constitute A Crucial Part Of Program Verification. Much Research About Termination Has Been Done In The Context Of Term Rewriting Systems. But Until Now There Was Little Hope That Termination Proofs For Nontrivial Programs Could Be Achieved Automatically.
  • Fruugo-ID: 557224011-1125493454
  • ISBN: 9783540528371
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 229,99 - Levering mellom kl fre. 27 november 2026–tir. 01 desember 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