Skip to content

Sign in / Sign up

Home
Bookshelf
Contact & Support
Refund & Returns

Search for:

Home
Bookshelf
Contact & Support
How to open your digital file (ePub or PDF)
My account

Artificial Intelligence (incl. Robotics)

Showing 381–400 of 400 results

Computers , Cybernetics: Artificial Intelligence
The Seventeen Provers of the World: Foreword by Dana S. Scott
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Free Download
Mathematics , Logic
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Free Download
Computers
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX ’96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
Free Download
Mathematics , Computational Mathematics
Tools and Applications with Artificial Intelligence
Free Download
Computers , Cybernetics: Artificial Intelligence
Tools and Applications with Artificial Intelligence
Free Download
Technique
Towards Evolvable Hardware: The Evolutionary Engineering Approach
Free Download
Mathematics
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Free Download
Mathematics , Computational Mathematics
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation
Free Download
Education , International Conferences and Symposiums
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Free Download
Mathematics , Geometry and Topology
Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction
Free Download
Computers , Programming
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Free Download
Mathematics , Differential Equations
Viability theory
Free Download
Computers
Visual Complexity and Intelligent Computer Graphics Techniques Enhancements
Free Download
Technique , Electronics: Robotics
Visual Perception and Robotic Manipulation: 3D Object Recognition, Tracking and Hand-Eye Coordination
Free Download

←
1
2
3
…
17
18
19
20

Shopping Cart

Copyright © 2024 - LibVital.com

Open EBook
Privacy Policy
Contact & Support

Search for:

Categories

Click to Copy

Scroll to Top