Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Proof and Computation by Helmut Schwichtenberg - Paperback
612.15 AED

Proof and Computation by Helmut Schwichtenberg - Paperback

Be the first to rate this product 

612.15 AED 

  - You Save -612.15 AED
All prices include VAT  Details
FREE Shipping Details
Category Type
Mathematics
ISBN
9783642793639
Author
Helmut Schwichtenberg
Publisher
Springer
Description:

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Monday, Jul 9 - Wednesday, Jul 11 to Dubai

Condition:
New
Sold by:
InternationalBookStore (88% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Mathematics
    ISBN
    9783642793639
    Languages
    English
    Item EAN
    2724437274749
    People
    Author
    Helmut Schwichtenberg
    Category Type
    Mathematics
    ISBN
    9783642793639
    Languages
    English
    Item EAN
    2724437274749
    People
    Author
    Helmut Schwichtenberg
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a

    Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

    Product Features:
    • Category: Mathematics
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Helmut Schwichtenberg
    • Publisher: Springer
    • ISBN: 9783642793639
    • Number of Pages: 470
    • Dimensions: 9.21 x 6.14 x 0.98 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit