Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | November 29, 2014

    Neil Patrick Harris: IMG Neil Patrick Harris: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... Continue »

    spacer

On Order

$108.50
New Hardcover
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Artificial Intelligence- Fuzzy Logic

This title in other editions

Other titles in the Lecture Notes in Computer Science series:

Logic of computation

by

Logic of computation Cover

 

Synopses & Reviews

Publisher Comments:

The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and category theory, machine based theorem proving, logic programming, bounded arithmetic, proof theory, algebraic specifications and rewriting, algebraic algorithms, and type theory.

Product Details

ISBN:
9783540629634
Author:
Schwichtenberg, Helmut
Publisher:
Springer
Location:
Berlin ;
Subject:
Logic, Symbolic and mathematical -- Congresses.
Subject:
Artificial Intelligence - Fuzzy Logic
Edition Description:
Includes bibliographical references p. .
Publication Date:
19970831
Binding:
HARDCOVER
Language:
English
Illustrations:
Yes

Other books you might like

  1. Digital Logic & Switching Circuits Used Hardcover $1.00
  2. Sets, Logic and Categories (Springer... New Trade Paper $56.95
  3. The Theory of Spinors New Trade Paper $14.95
  4. Last Writings of the Philosophy of... New Trade Paper $65.25

Related Subjects

» Computers and Internet » Artificial Intelligence » Fuzzy Logic
» Computers and Internet » Software Engineering » General
» Computers and Internet » Software Engineering » Programming and Languages

Logic of computation New Hardcover
0 stars - 0 reviews
$108.50 Backorder
Product details pages Springer,c1997. - English 9783540629634 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.