Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings
Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings
by Franz Baader
$67.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9783540405597
1
Details
- Format
- Paperback
- ISBN-13
- 9783540405597
- Publisher
- Springer
- Published
- July 16, 2003
- Pages
- 512
- Weight
- 25.6 oz
- Subject
- Computers
More by Franz Baader
All booksAn Introduction to Description Logic
An Introduction to Description Logic
Franz Baader
$64.99
Franz von Baaders sämtliche Werke: Systematisch geordnet
Franz von Baaders sämtliche Werke: Systematisch geordnet
Franz Baader
$55.99
The Description Logic Handbook
The Description Logic Handbook
Franz Baader
$99.99
Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
Franz Baader
$67.99
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001. Proceedings
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001. Proceedings
Franz Baader
$67.99
Fermenta Cognitionis, Heft 1.
Fermenta Cognitionis, Heft 1.
Franz Baader
$196.99
Popular in Computers
Browse Computers
Obsolete: The AI Industry's Trillion Dollar Race to Replace Us--And How to Stop It
Garrison Lovely
$18.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
Fixing Tech: Make It Just Work
David S. Platt
$23.99
Mastering AI: A Survival Guide to Our Superpowered Future
Jeremy Kahn
$16.99
Building Reliable AI Systems: Applications and Agents You Can Trust
Rush Shahani
$65.99
My Coworker Is a Robot: Navigating the Technology That Could Replace You (or Earn Your Next Promotion)
Jon Swartz
$23.99
Unbreakable: Secure Your Digital Life in a World Built to Breach You
Phillip Shoemaker
$23.99
The Craft of Post-Training: A Practical Guide for AI Engineers and Developers
Chris Von Csefalvay
$65.99
Beginner's Step-By-Step Coding Course: Learn Computer Programming the Easy Way
Dk
$23.99
The Well-Grounded Rubyist, Fourth Edition
Black A. David
$65.99
Embedded AI: Intelligence at the Deep Edge
David Such
$65.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99