The Good, the Bad, and the Hungry Sale
 
 

Recently Viewed clear list


Original Essays | July 22, 2014

Nick Harkaway: IMG The Florist-Assassins



The three men lit up in my mind's eye, with footnotes. They were converging on me — and on the object I was carrying — in a way that had... Continue »
  1. $18.87 Sale Hardcover add to wish list

    Tigerman

    Nick Harkaway 9780385352413

spacer
Qualifying orders ship free.
$99.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

Other titles in the Lecture Notes in Artificial Intelligence series:

Lecture Notes in Artificial Intelligence #6824: Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr

by

Lecture Notes in Artificial Intelligence #6824: Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

Product Details

ISBN:
9783642226724
Author:
Davenport, James H.
Publisher:
Springer
Author:
Farmer, William M.
Author:
Urban, Josef
Author:
Rabe, Florian
Location:
Berlin, Heidelberg
Subject:
Artificial Intelligence
Subject:
automated reasoning
Subject:
Information retrieval
Subject:
math text mining
Subject:
symbolic mathematics
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Information Systems Applications (incl.Internet)
Subject:
Database management
Subject:
Information storage and retrieval.
Subject:
Mathematical Logic and Formal Languages
Subject:
Data Mining and Knowledge Discovery
Subject:
Computers-Reference - General
Subject:
Artifici
Subject:
al Intelligence (incl. Robotics)
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Information storage and retrieva
Subject:
Data mining
Copyright:
Edition Description:
2011
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
6824
Publication Date:
20110801
Binding:
TRADE PAPER
Language:
English
Pages:
326
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Database » Design
Computers and Internet » Software Engineering » Software Management
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Artificial Intelligence #6824: Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr New Trade Paper
0 stars - 0 reviews
$99.25 In Stock
Product details 326 pages Springer - English 9783642226724 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.