Code: 08908780
Automated Deduction, Cade-13
by M. McRobbie, J. K. Slaney
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.
- Language:
English - Binding: Paperback
- Number of pages: 788
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
- More about this
140.34 €
Low in stock at our supplier
Shipping in 10 - 15 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Automated Deduction, Cade-13
You get 345 loyalty points
Book synopsis
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.
Book details
Book category Knihy po anglicky Computing & information technology Computer science Artificial intelligence
140.34 €
- Full title: Automated Deduction, Cade-13
- Subtitle: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings
- Author: M. McRobbie, J. K. Slaney
- Language: English
- Binding: Paperback
- Number of pages: 788
- EAN: 9783540615118
- ISBN: 9783540615118
- ID: 08908780
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 1166 g
- Dimensions: 234 × 156 × 39 mm
- Date of publishing: 01. July 1996
Trending among others
-
Artificial Intelligence Basics
38.60 € -16 % -
Python Machine Learning -
46.74 € -
Deep Learning
15.13 € -18 % -
Dive into Deep Learning
38.71 € -
Reinforcement Learning
99.97 € -
Machine Learning Design Patterns
56.11 € -16 % -
AI and Machine Learning For Coders
53.33 € -21 % -
Deep Learning
89.99 € -
Book of Why
11.01 € -24 % -
Pattern Recognition and Machine Learning
108.83 € -
Natural Language Processing in Action
54.26 € -5 % -
Introduction to Applied Linear Algebra
53.12 € -3 % -
Designing Human-Centric AI Experiences
57.24 € -13 % -
Procedural Content Generation via Machine Learning
72.38 € -
Pro Deep Learning with TensorFlow 2.0
63.73 € -3 % -
Deep Learning
99.97 € -
Python Machine Learning
59.61 € -
Probabilistic Machine Learning
148.68 € -12 % -
Advances in Financial Machine Learning
44.68 € -20 % -
On Intelligence
16.67 € -22 % -
Introducing MLOps
53.33 € -21 % -
Practical MLOps
72.28 € -20 % -
Why Greatness Cannot Be Planned
27.89 € -18 % -
Advanced API Security
38.81 € -16 % -
Deep Learning
48.59 € -21 % -
Probabilistic Graphical Models
163.71 € -
Perceptrons
84.73 € -
Neural Networks and Deep Learning
79.38 € -
Tiny ML
49.31 € -3 % -
Neural Networks and Deep Learning
71.25 € -
Real-Time C++
62.70 € -
Programming Machine Learning
48.39 € -1 % -
Algorithms for Image Processing and Computer Vision
119.54 € -
Artificial Intelligence
73.92 € -
AI for Games Developers
33.46 € -18 % -
Eye Tracking Methodology
80.72 € -
Maschinelles Lernen - Grundlagen und Anwendungen
43.65 € -
Learning Robotic Process Automation
53.53 € -
Heuristic Search
125.82 € -
Artificial Intelligence: A Modern Approach, Global Edition
74.33 € -5 % -
Dialogue and Instruction, 1
71.25 € -
Hands-On Machine Learning with Scikit-Learn and TensorFlow
51.06 € -
We have been harmonised
12.66 € -13 % -
Machine Learning
125 € -12 % -
Visualize This - The FlowingData Guide to Design, Visualization and Statistics
43.44 € -13 % -
Pattern Recognition and Machine Learning
95.96 € -
Learning OpenCV 3
93.18 € -
Creativity Code
12.35 € -23 % -
Practical Machine Learning with Python
102.65 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)