|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Artificial Intelligence: The Ultimate 222 Pages Blueprint to Get a Deep Insight into AI Algorithmic Learning and The Recipe to Automate Your Bu | Slater, Freddie | Hardcover | 180138438X /
9781801384384 | 04/2021 | $35.99 |
|  | Artificial Life and Evolutionary Computation: 15th Italian Workshop, Wivace 2021, Winterthur, Switzerland, September 15-17, 2021, Revised Selected Pap 2022 Edition | Schneider, Johannes Josef | Paperback | 3031239288 /
9783031239281 | 01/2023 | $66.49 |
|  | Artificial Life and Evolutionary Computation: 16th Italian Workshop, Wivace 2022, Gaeta, Italy, September 14-16, 2022, Revised Selected Papers 2023 Edition | de Stefano, Claudio | Paperback | 3031311825 /
9783031311826 | 04/2023 | $80.74 |
|  | Artificial Life and Evolutionary Computation: 17th Italian Workshop, Wivace 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers 2024 Edition | Villani, Marco | Paperback | 303157429X /
9783031574290 | 04/2024 | $75.99 |
|  | Artificial Neural Networks and Machine Learning - Icann 2017: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 1 2017 Edition (Lecture Notes in Computer Science) | Lintas, Alessandra | Paperback | 3319686119 /
9783319686110 | 10/2017 | $104.49 |
|  | Artificial Neural Networks and Machine Learning - Icann 2017: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 1 2017 Edition (Lecture Notes in Computer Science) | Lintas, Alessandra | Paperback | 3319685996 /
9783319685991 | 10/2017 | $52.24 |
|  | Augmented User Manual for CSP-Rules-V2.1 | Berthier, Denis | Paperback | 1471026876 /
9781471026874 | 10/2022 | $54.66 |
|  | AutoCAD - Grundkurs: Lehr- Und Übungsbuch 1989 Edition (Viewegs Fachbucher Der Technik) (German) | Harnisch, Hans-Georg | Paperback | 3528046783 /
9783528046781 | 01/1989 | $66.45 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351312 /
9780792351313 | 06/1998 | $161.49 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic) | Bibel, Wolfgang | Paperback | 9048150523 /
9789048150526 | 12/2010 | $161.49 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic) | Bibel, Wolfgang | Paperback | 9048150515 /
9789048150519 | 12/2010 | $208.99 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Applied Logic) | Bibel, Wolfgang | Paperback | 9048150507 /
9789048150502 | 12/2010 | $208.99 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351290 /
9780792351290 | 06/1998 | $208.99 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351304 /
9780792351306 | 06/1998 | $208.99 |
|  | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A 1998 Edition (Applied Logic) | Bibel, Wolfgang | Hardcover | 0792351320 /
9780792351320 | 06/1998 | $408.50 |
|  | Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, Usa, July 30 - August 3, 1996. Proceedings 1996 Edition (Lecture Notes in Computer Science) | McRobbie, Michael A. | Paperback | 3540615113 /
9783540615118 | 07/1996 | $104.49 |
|  | Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Pro 1997 Edition | McCune, William | Paperback | 3540631046 /
9783540631040 | 06/1997 | $52.24 |
|  | Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science) | Kirchner, Claude | Paperback | 3540646752 /
9783540646754 | 06/1998 | $52.24 |
|  | Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science; 1632. Lecture Notes in Ar) | Ganzinger, Harald | Paperback | 3540662227 /
9783540662228 | 06/1999 | $52.24 |
|  | Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings 2000 Edition (Lecture Notes in Computer Science) | McAllester, David | Paperback | 3540676643 /
9783540676645 | 06/2000 | $52.24 |
|  | Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings 2002 Edition (Lecture Notes in Computer Science) | Voronkov, Andrei | Paperback | 3540439315 /
9783540439318 | 07/2002 | $52.24 |
|  | Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings 1994 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Bundy, Alan | Paperback | 3540581561 /
9783540581567 | 06/1994 | $52.24 |
|  | Automated Deduction in Classical and Non-Classical Logics: Selected Papers 2000 Edition (Lecture Notes in Computer Science) | Caferra, Ricardo | Paperback | 3540671900 /
9783540671909 | 02/2000 | $52.24 |
|  | Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Pr 2013 Edition | Galmiche, Didier | Paperback | 3642405363 /
9783642405365 | 08/2013 | $47.49 |
|  | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002 2002 Edition (Lecture Notes in Computer Science) | Egly, Uwe | Paperback | 3540439293 /
9783540439295 | 07/2002 | $52.24 |
|
|
|
