Contributions

  • Berger, Ulrich, 1956- - Contributor
  • Schwichtenberg, Helmut, 1942- - Contributor
  • North Atlantic Treaty Organization. Scientific Affairs Division. - Contributor
  • NATO Advanced Study Institute on Computational Logic (1997 : Marktoberdorf, Germany) - Contributor

Publication

1999 - Springer, Berlin, Germany

Language

English

Word Count

111,000 words, Guess

Page Count

444 pages

Identifiers

and 2 more
  • Better World Books9783540645894
  • Open LibraryOL17840728M

Classifications

  • DDC004/.01/5113
  • LCCQA76.9.L63 C66 1999
  • LCCQA75.5-76.95

Subjects

Series Statement

  • NATO ASI series. Series F, Computer and systems sciences -- vol. 165
  • NATO ASI series -- no. 165.

Other Editions

  • Computational logicSpringer1999-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!