Cart
|
|
my account
|
wish list
|
help
|
800-878-7323
Hello, |
Login
MENU
Browse
New Arrivals
Bestsellers
Featured Preorders
Award Winners
Audio Books
See All Subjects
Used
Staff Picks
Staff Picks
Picks of the Month
Bookseller Displays
50 Books for 50 Years
25 Best 21st Century Sci-Fi & Fantasy
25 PNW Books to Read Before You Die
25 Books From the 21st Century
25 Memoirs to Read Before You Die
25 Global Books to Read Before You Die
25 Women to Read Before You Die
25 Books to Read Before You Die
Gifts
Gift Cards & eGift Cards
Powell's Souvenirs
Journals and Notebooks
socks
Games
Sell Books
Blog
Events
Find A Store
Don't Miss
Spring Sale
Big Mood Sale
Teen Dream Sale
Powell's Author Events
Oregon Battle of the Books
Audio Books
Get the Powell's newsletter
Visit Our Stores
Powell's Staff:
Five Book Friday: In Memoriam
(0 comment)
Every year, the booksellers at Powell’s submit their Top Fives: their five favorite books that were released in 2023. It’s a list that, when put together, shows just how varied and interesting the book tastes of Powell’s booksellers are. I highly recommend digging into the recommendations — we would never lead you astray — but today...
Read More
»
Brontez Purnell:
Powell’s Q&A: Brontez Purnell, author of ‘Ten Bridges I’ve Burnt’
(0 comment)
Rachael P.:
Starter Pack: Where to Begin with Ursula K. Le Guin
(0 comment)
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
Automated Reasoning: First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings
by
Gore, Rajeev
Comment on this title
ISBN13:
9783540422549
ISBN10:
3540422544
All Product Details
View Larger Image
View Larger Images
$131.95
New Trade Paperback
Available at a Remote Warehouse. Ships separately from other items. Additional shipping charges may apply. Not available for In Store Pickup.
More Info
Qty
Store
20
Remote Warehouse
What Our Readers Are Saying
Be the first to share your thoughts on this title!
Product Details
ISBN:
9783540422549
Binding:
Trade Paperback
Publication date:
06/06/2001
Publisher:
Springer
Series info:
Lecture Notes in Computer Science
Language:
English
Pages:
712
Height:
1.45IN
Width:
6.14IN
LCCN:
2001041144
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Units:
1
Copyright Year:
2001
Series Volume:
2083.
UPC Code:
4294967295
Author:
Alexander Leitsch
Author:
A. Leitsch
Author:
Rajeev Gore
Author:
T. Nipkow
Author:
R. Gore
Author:
Tobias Nipkow
Subject:
Logique informatique
Subject:
Inference
Subject:
Logics and Meanings of Programs
Subject:
Mathematical Logic and Fou
Subject:
programming logic
Subject:
autmated deduction
Subject:
Logics and Me
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Language, literature and biography
Subject:
Thâeoráemes
Subject:
non-classical logics
Subject:
Computer logic
Subject:
Software engineering
Subject:
Proof theory
Subject:
Automatic theorem proving
Subject:
First-order logic
Subject:
Nonmonotonic reasoning.
Subject:
Logic programming
Subject:
Logic, symbolic and mathematical
Subject:
ndations
Subject:
Mathematical Logic and Foundations
Subject:
Formal Logic
Subject:
automated reasoning
Subject:
Mathematical Logic and Formal Languages
Subject:
ai logics
Subject:
anings of Programs
Subject:
mathematical logic
$131.95
New Trade Paperback
Available at a Remote Warehouse. Ships separately from other items. Additional shipping charges may apply. Not available for In Store Pickup.
More Info
Qty
Store
20
Remote Warehouse
Receive an email when this ISBN is available used.
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]##
##LOC[Cancel]##
{1}
##LOC[OK]##
##LOC[Cancel]##