Have one to sell? Sell yours here
Linear time unit resolution for propositional formulas--in Prolog yet (Technical report / Computer Research Laboratory, UCSC)
  
Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Linear time unit resolution for propositional formulas--in Prolog yet (Technical report / Computer Research Laboratory, UCSC) [Unknown Binding]

Allen Van Gelder (Author)


Out of Print--Limited Availability.



Product Details

  • Unknown Binding: 10 pages
  • Publisher: Computer Research Laboratory, [University of California, Santa Cruz (1995)
  • Language: English
  • ASIN: B0006QK5XK

Customer Reviews


There are no customer reviews yet.
Video reviews
Video reviews
Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.



Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Active discussions in related forums
Search Customer Discussions
Search all Amazon discussions
   
Related forums


Listmania!


Create a Listmania! list

So You'd Like to...


Create a guide


Look for Similar Items by Category


Look for Similar Items by Subject