Foundations of Information and Knowledge Systems 비슷한 책 더 보기

Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2020년
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2016년
Automated Reasoning Automated Reasoning
Automated Reasoning
2018년
Automated Reasoning Automated Reasoning
Automated Reasoning
2016년
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
2020년
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2019년
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
2009년
Artificial Intelligence Logic and Applications Artificial Intelligence Logic and Applications
Artificial Intelligence Logic and Applications
2022년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017년
Formal Concept Analysis Formal Concept Analysis
Formal Concept Analysis
2010년
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015년
Inductive Logic Programming Inductive Logic Programming
Inductive Logic Programming
2016년