안녕하세요! Tracked shipping to South Korea with premium packaging for just ₩9,000  

Ship to
South Korea
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada algebraic and logic programming
algebraic and logic programmingalgebraic and logic programming
Type
Physical Book
Publisher
Language
English
Pages
286
ISBN
3540634592
ISBN13
9783540634591

algebraic and logic programming

Cheaper New Book Imported to South Korea
Delivery: 27 Oct - 30 Oct Shipping: 15 to 16 business days.
₩ 82,681
Faster New Book Imported to South Korea
Delivery: 23 Oct - 28 Oct Shipping: 13 to 14 business days.
₩ 92,556
Import costs included in the price ✅
₩ 82,681

Synopsis "algebraic and logic programming"

this book constitutes the refereed proceedings of the 6th international conference on algebraic and logic programming, alp 97 and the 3rd international workshop on higher-order algebra, logic and term rewriting, hoa 97, held jointly in southampton, uk, in september 1997.the 18 revised full papers presented in the book were selected from 31 submissions. the volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews