Termination Proofs for Logic Programs » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2946600]

• Literatura piękna

[1856966]

więcej...

Kategorie szczegółowe BISAC

Termination Proofs for Logic Programs

Name: Termination Proofs for Logic Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH &
Price: 201.72 PLN
Availability: InStock

ISBN-13: 9783540528371 / Angielski / Miękka / 1990 / 142 str.

Lutz Plumer

Termination Proofs for Logic Programs

ISBN-13: 9783540528371 / Angielski / Miękka / 1990 / 142 str.

Lutz Plumer

cena 201,72 zł
(netto: 192,11 VAT: 5%)

Najniższa cena z 30 dni: 192,74 zł

Termin realizacji zamówienia:
ok. 22 dni roboczych
Bez gwarancji dostawy przed świętami

Darmowa dostawa!

Presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. This book discusses several nontrivial examples.

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Artificial Intelligence - General
Computers > Software Development & Engineering - General
Computers > Logic Design

Wydawca:

Springer-Verlag Berlin and Heidelberg GmbH &

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783540528371

Rok wydania:

1990

Dostępne języki:

Angielski

Wydanie:

1990

Numer serii:

000304238

Ilość stron:

142

Waga:

0.51 kg

Wymiary:

23.523.5 x 15.5

Oprawa:

Miękka

Wolumenów:

Dodatkowe informacje:

Bibliografia
Wydanie ilustrowane

Basic notions.- Static program properties and transformations.- Terminating logic programs.- The problem of local variables.- And/or dataflow graphs.- A termination proof procedure.- Integration of unfolding techniques.- Conclusions.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa