LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.

PLUMER Lutz.

ISBN 10: 0387528377 ISBN 13: 9780387528373
Published by Springer-Verlag, 1990
Language: English
Condition: Used Soft cover

Sold by Libros Ambigú, Madrid, M, Spain

AbeBooks Seller since 4 September 2014

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

View this seller's items


Used - Soft cover

Condition: Normal

Price:
£ 4.01
£ 26.81 shipping
Ships from Spain to U.S.A.

Quantity: 1 available

Add to basket