Theorem Proving With Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux '95 Schloss Rheinfels, St. Goar, Germany May 7-10, 19 ... (Lecture Notes in Computer Science, Vol 918)

Home :: Books :: Computers & Internet

Arts & Photography
Audio CDs
Audiocassettes
Biographies & Memoirs
Business & Investing
Children's Books
Christianity
Comics & Graphic Novels
Computers & Internet
Cooking, Food & Wine
Entertainment
Gay & Lesbian
Health, Mind & Body
History
Home & Garden
Horror
Literature & Fiction
Mystery & Thrillers
Nonfiction
Outdoors & Nature
Parenting & Families
Professional & Technical
Reference
Religion & Spirituality
Romance
Science
Science Fiction & Fantasy
Sports
Teens
Travel
Women's Fiction

	Theorem Proving With Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux '95 Schloss Rheinfels, St. Goar, Germany May 7-10, 19 ... (Lecture Notes in Computer Science, Vol 918)
	List Price: $82.95 Your Price: $82.95

Product Info	Reviews
No information available.