Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561
Meta-Learning in Computational Intelligence
by Norbert Jankowski, Wlodzislaw Duch, Krzysztof Grąbczewski
₹5,193
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Computational Intelligence (CI) community has developed hundreds of algorithms for intelligent data analysis, but still many hard problems in computer vision, signal processing or text and multimedia understanding, problems that require deep learning tech
Description supplied by the publisher.
Book details
- ISBN-13
- 9783642209796
- ISBN-10
- 3642209793
- Authors
- Norbert Jankowski, Wlodzislaw Duch, Krzysztof Grąbczewski
- Publisher
- Springer
- Condition
- New
Related books
Autonome Mobile Systeme 1996
Günther Schmidt, Franz Freyberger
₹3,508
Ökologische Landwirtschaft
I. Lünzer, H. Vogtmann
₹5,498
Kommunikation in Verteilten Systemen II
Dirk Heger, Gerhard Krüger, Otto Spaniol
₹3,508
Maschinen- Und Konstruktionselemente 3
Waldemar Steinhilper, Rudolf Röper
₹2,875
Food Allergy in Infancy and Childhood
H. K. Harms, U. Wahn
₹4,730
Die Experimentelle Diagnostik, Serumtherapie Und Prophylaxe Der Infektionskrankheiten
Ernst Marx
₹3,143
Progress in Cryptology - Indocrypt 2002
Alfred Menezes, Palash Sarkar
₹5,608
Formal Concept Analysis
Léonard Kwuida, Baris Sertkaya
₹5,558
Produktion Und Absatz
Ralph Berndt, Adrienne Cansier
₹2,155
Software Engineering Education
Carol Sledge
₹5,612
Current Themes in Theoretical Biology
Thomas A. C. Reydon, Lia Hemerik
₹5,594