Opening book details…
About this nonfiction
Machine Learning and Automated Theorem Proving by Bridge, James P is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Bridge, James P
- Publisher
- University of Cambridge, Computer Laboratory
- Published
- 2010
- Language
- EN
- Category
- nonfiction
More by Bridge, James P
Browse all works by Bridge, James P
Similar books
- Automated Theorem Proving — Bibel, Wolfgang. aut (1987)
- Automated Theorem Proving : Theory and Practice — Monty Newborn (auth.) (2001)
- Automated Theorem Proving in Software Engineering — Dr. Johann M. Schumann (auth.) (2001)
- First-Order Logic and Automated Theorem Proving (Texts in Computer Science) — Melvin Fitting (auth.) (1996)
- Automated Machine Learning and Meta-Learning for Multimedia — Wenwu Zhu; Xin Wang (2021)
- Reinforcement Learning of Theorem Proving — Cezary Kaliszyk; Josef Urban; Henryk Michalewski; Mirek Olšák (1970)
