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

Select your country

Americas

Europe

Rest of the world

portada logic programming
logic programminglogic programming
Type
Physical Book
Publisher
Language
English
Pages
514
ISBN
3540554602
ISBN13
9783540554608

logic programming

Cheaper New Book Imported to Thailand
Delivery: 28 Aug - 10 Sep Shipping: 13 to 17 business days.
฿ 2,036
Faster New Book Imported to Thailand
Delivery: 18 Aug - 25 Aug Shipping: 5 to 6 business days.
฿ 2,587
Import costs included in the price ✅
฿ 2,036

Synopsis "logic programming"

this volume contains the proceedings of two russian conferences on logic programming, held in 1990 in irkutsk and in 1991 in st. petersburg. the aim of the conferences was to bring together researchers from the russian and the international logic programming communities. topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. this is the first volume to represent activity in the field of logic programming in the countries of the former soviet union.

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