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
Big Mood Sale
Teen Dream Sale
Portland Like a Pro 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]##
Foundations of Equational Logic Programming
by
Steffen H�lldobler
Comment on this title
ISBN13:
9783540515333
ISBN10:
354051533X
All Product Details
View Larger Image
View Larger Images
$45.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:
9783540515333
Binding:
Trade Paperback
Publication date:
10/11/1989
Publisher:
Springer
Series info:
Lecture Notes in Computer Science
Language:
English
Pages:
256
Height:
.55IN
Width:
6.14IN
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Units:
1
Copyright Year:
1989
Series Volume:
353
UPC Code:
4294967295
Author:
Steffen Holldobler
Author:
Steffen Hlldobler
Author:
Steffen Halldobler
Author:
Steffen H?lldobler
Subject:
Semantics for Equational Logic Programs
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Language, literature and biography
Subject:
SLDE-Resolution
Subject:
Logic programming
Subject:
Beweistechniken
Subject:
Semantik Logischer Programme mit Gleichungen
Subject:
Lazy Resolution
Subject:
Proof techniques
Subject:
Mathematical Logic and Formal Languages
Subject:
Logisches Programmieren
Subject:
Artificial Intelligence (incl. Robotics)
$45.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]##