Magnificent Marvel Supersale
 
 

Special Offers see all

Enter to WIN a $100 Credit

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

Visit our stores


    Recently Viewed clear list


    Lists | April 3, 2015

    David Shields and Elizabeth Cooperman: IMG 50 Books of Literary Collage



    We cowrote and coedited Life Is Short — Art Is Shorter: In Praise of Brevity. We're interested in brief prose (short-shorts and mini-essays),... Continue »

    spacer
Qualifying orders ship free.
$108.50
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 Computer Science / Lecture Notes in Artific #4108: Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, UK, August 11-12, 2006, Proceedings

by

Lecture Notes in Computer Science / Lecture Notes in Artific #4108: Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, UK, August 11-12, 2006, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

Product Details

ISBN:
9783540371045
Author:
Borwein, Jonathan M.
Publisher:
Springer
Editor:
Farmer, William M.
Author:
Farmer, William M.
Subject:
Networking - General
Subject:
Database Management - General
Subject:
Artificial Intelligence - General
Subject:
Intelligence (AI) & Semantics
Subject:
Artificial Intelligence
Subject:
Latex
Subject:
MathML
Subject:
OpenMath project
Subject:
XML
Subject:
e-learning
Subject:
Formal Logic
Subject:
formal mathematics
Subject:
interactive algebra
Subject:
mathematical encoding
Subject:
mathematical knowledge management
Subject:
mathematical knowledge representation
Subject:
mathematical libraries
Subject:
mathematical retrieval
Subject:
proof planners
Subject:
Proof theory
Subject:
proof verification
Subject:
semantic markup
Subject:
Theorem Proving
Subject:
Type theory.
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Information storage and retrieval.
Subject:
Information Systems Applications (incl.Internet)
Subject:
Database management
Subject:
Computer Communication Networks
Subject:
Mathematics - General
Subject:
Computers-Reference - General
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
4108
Publication Date:
20060914
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
303
Dimensions:
235 x 155 mm 960 gr

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Database » Design
Computers and Internet » Networking » General
Computers and Internet » Software Engineering » Software Management

Lecture Notes in Computer Science / Lecture Notes in Artific #4108: Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, UK, August 11-12, 2006, Proceedings New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 303 pages Not Avail - English 9783540371045 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.