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
Qualifying orders ship free.
$180.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

Lecture Notes in Computer Science / Lecture Notes in Artific #449: 10th International Conference on Automated Deduction

by

Lecture Notes in Computer Science / Lecture Notes in Artific #449: 10th International Conference on Automated Deduction Cover

 

Synopses & Reviews

Publisher Comments:

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

Product Details

ISBN:
9783540528852
Author:
Stickel, Mark E.
Publisher:
Springer
Location:
Berlin, Heidelberg
Subject:
Artificial Intelligence - General
Subject:
Logic
Subject:
Intelligence (AI) & Semantics
Subject:
Computers-Reference - General
Subject:
Artificial Intelligence
Subject:
Logik.
Subject:
automated deduction
Subject:
automated reasoning
Subject:
Automatisches Beweisen
Subject:
Automatisches Schlieen
Subject:
Logic programming
Subject:
Logische Programmierung
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Formal Languages
Subject:
Computer Science
Subject:
Language, literature and biography
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
449
Publication Date:
19900810
Binding:
TRADE PAPER
Language:
English
Pages:
708
Dimensions:
242 x 170 mm 2150 gr

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
History and Social Science » Economics » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Lecture Notes in Artific #449: 10th International Conference on Automated Deduction New Trade Paper
0 stars - 0 reviews
$180.25 In Stock
Product details 708 pages Springer - English 9783540528852 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.