search for books and compare prices
Ulrich Furbach has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition...read more
Paperback:
9783540371878 | Springer-Verlag New York Inc, June 30, 2007, cover price $169.00 | About this edition: Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006.
Product Description: ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti?cial Intelligence, held September 11-14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM)...read more
Paperback:
9783540287612 | Springer Verlag, October 16, 2005, cover price $119.00 | About this edition: ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti?
Product Description: This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers. The programme committee selected these 25 papers from 12 countries out of 65 submissions from 17 countries. The rst JELIA meeting was in Rosco , France, ten years ago...read more
Paperback:
9783540651413 | Springer Verlag, December 1, 1998, cover price $99.00 | About this edition: This volume contains the papers selected for presentation at the conference and two abstracts from invited speakers.
Paperback:
9783528051273 | Vieweg + Teubner Verlag, January 1, 1991, cover price $59.99
displaying 1 to 4 |
at end