Contributions

  • Miki Hermann (Editor) - Contributor
  • Andrei Voronkov (Editor) - Contributor

Publication

2006-11-22 - Springer

Language

English

Word Count

147,000 words, Guess

Page Count

588 pages

Physical Format

Paperback

Identifiers

and 2 more
  • Library of Congress Control Number2006934988
  • Goodreads1948789

Classifications

  • LCCQA76.63 .L735 2006

Subjects

Other Editions

  • Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings (Lecture Notes in Computer Science)PaperbackSpringer2006-11-22

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!