Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981
Type
Physical Book
Publisher
Author
Language
English
Pages
374
Format
Paperback
Dimensions
23.4 x 15.6 x 2.0 cm
Weight
0.54 kg.
ISBN13
9789400970212
Categories

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981

Biermann, A. W. ; Guiho, G. (Author) · Springer · Paperback

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981 - Biermann, A. W. ; Guiho, G.

Cheaper New Book Imported to Taiwan
Delivery: 28 Jul - 10 Aug Shipping: 12 to 16 business days.
NT$ 6,325
Faster New Book Imported to Taiwan
Delivery: 16 Jul - 24 Jul Shipping: 4 to 5 business days.
NT$ 8,815
NT$ 6,325

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10, 1981"

powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti- ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of- control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does this with a theorem proving mechanism employing primarily unification and backtracking. The programmer specifies the problem to be solved with a set of formal logic statements including a theorem to be proved. The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation. H. GAllAIRE has contributed a chapter describing PROLOG giving many examples of its usage.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

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