Author

Contributions

  • Jörg Flum (Editor) - Contributor
  • Mario Rodriguez-Artalejo (Editor) - Contributor

Publication

1999-10-18 - Springer

Language

English

Word Count

145,000 words, Guess

Page Count

580 pages

Physical Format

Paperback

Identifiers

  • Open LibraryOL12809743M
  • ISBN-139783540665366
  • ISBN-103540665366
  • OCLC Control Number42475780
  • Library of Congress Control Number99048725
and 1 more
  • Goodreads3364970

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science)PaperbackSpringer1999-10-18

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!