The Fictioning Horror Sale
 
 

Recently Viewed clear list


Original Essays | September 15, 2014

Lois Leveen: IMG Forsooth Me Not: Shakespeare, Juliet, Her Nurse, and a Novel



There's this writer, William Shakespeare. Perhaps you've heard of him. He wrote this play, Romeo and Juliet. Maybe you've heard of it as well. It's... Continue »
  1. $18.19 Sale Hardcover add to wish list

    Juliet's Nurse

    Lois Leveen 9781476757445

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 Used Trade Paper $7.50
  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.