Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
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 Logical Frameworks
Type
Physical Book
Publisher
Author
Year
1991
Language
English
Pages
416
Format
Hardcover
ISBN
0521413001
ISBN13
9780521413008
Edition No.
1
Categories

Logical Frameworks

Huet; Plotkin (Author) · Cambridge University Press · Hardcover

Logical Frameworks - Huet; Plotkin

New Book Imported to Netherlands
Delivery: 28 Aug - 02 Sep Shipping: 4 to 5 business days.
€ 140,94
Import costs and 9% BTW included in the price ✅
€ 140,94

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Logical Frameworks "

This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

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 Hardcover.

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