Termination Proofs For Logic Programs

₺4.099,00
+ ₺1.512,49 Kargo

Termination Proofs For Logic Programs

Satıcı:
  • product image

₺4.099,00

Stokta var
+ ₺1.512,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Ürün detayları

Ürün detayları

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 Kimliği: 557224011-1125493454
  • ISBN: 9783540528371
Teslimat

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.512,49 - Arasında teslimat Per 26 Kasım 2026–Per 10 Aralık 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle