Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
3
Artificial Intelligence (incl. Robotics)
2
Computer Science
2
Computer science
2
Logic, Symbolic and mathematical
2
Algorithm Analysis and Problem Complexity
1
Algorithms
1
Automatic theorem proving
1
Computation by Abstract Devices
1
Computer Graphics
1
Computer graphics
1
Computers
1
Discrete Mathematics in Computer Science
1
Image Processing and Computer Vision
1
Image processing
1
Information Systems Applications (incl. Internet)
1
Mathematical Logic and Formal Languages
1
Mathematicians
1
Mathematics
1
Pattern Recognition
1
Pattern perception
1
Proof theory
1
Software Engineering
1
Software engineering
1
Symbolic and Algebraic Manipulation
1
-
1
-
2Published 2015Table of Contents: “…Automated deduction.- Foundations -- Applications -- Implementations.- Practical experience.…”
Connect to this title online
Electronic eBook -
3Published 1984“…Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984…”
Conference Proceeding Book -
4Published 2020Table of Contents: “…From the content: Heuristically Ordered Search in State Graphs -- Meta-Heuristics and Artificial Intelligence -- Automated Deduction.…”
Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)
eBook -
5Published 2020Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)
Electronic eBook