Synopsis
Termination Proofs for Logic Programs 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. Full description
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Termination Proofs for Logic Programs (Lecture Notes...
Stock Image
Termination Proofs for Logic Programs
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 56596584-6
Seller Image
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.
Seller: Libros Ambigú, Madrid, M, Spain
Seller rating 4 out of 5 stars
Condition: Normal. Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal. Seller Inventory # 800010980