Ricardo Caferra, LIG, CNRS/Grenoble INP, France.
4 Ebooks por Ricardo Caferra
Ricardo Caferra: Logic for Computer Science and Artificial Intelligence
Logic and its components (propositional, first-order,
non-classical) play a key role in Computer Science and Artificial
Intelligence. While a large amount of information exists scattered …
PDF
Inglês
DRM
€192.99
Ricardo Caferra: Logic for Computer Science and Artificial Intelligence
Logic and its components (propositional, first-order,
non-classical) play a key role in Computer Science and Artificial
Intelligence. While a large amount of information exists scattered …
EPUB
Inglês
DRM
€192.99
Ricardo Caferra & Alexander Leitsch: Automated Model Building
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, …
PDF
Inglês
DRM
€164.87
Ricardo Caferra & Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics
…
PDF
Inglês
DRM
€57.82
