Formal Methods
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
₹6,998
Computers and Exploratory Learning
146
Springer-Nature New York Inc · 2012
₹11,565
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Computers and Exploratory Learning: 146 by Andrea diSessa is a 482-page book published by Springer-Nature New York Inc in 2012.
Topics covered include Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783642633591
- ISBN-10
- 3642633595
- Author
- Andrea diSessa
- Publisher
- Springer-Nature New York Inc
- Published
- 2012
- Edition
- Reprint
- Pages
- 482
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More in Artificial intelligence
Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence
Yingxu Wang
₹4,206
Mathematical Problem Solving and New Information Technologies
João Pedro Ponte
₹20,051
Computation and Cognition
Zenon W. Pylyshyn
₹4,417
Abstraction in Artificial Intelligence and Complex Systems
L. Saitta, Jean-Daniel Zucker
₹3,234
A Resolution Principle for a Logic with Restricted Quantifiers
Hans-Jürgen Bürckert
₹5,437
Granular Computing and Intelligent Systems
Witold Pedrycz, Shyi-Ming Chen
₹4,791
Innovations in Defence Support Systems - 3
Paolo Remagnino, Dorothy N. Monekosso, Lakhmi C. Jain
₹4,631
Artificial Intelligence
Rainer Born
₹10,493
Verification of Business Rules Programs
Bruno Berstel-Da Silva
₹3,913
Robotics in Smart Manufacturing
Pedro Neto
₹4,229
Tools for Teaching Logic
Patrick Blackburn, Hans Van Ditmarsch, Maria Manzano
₹5,525