Suggested Topics within your search.
Artificial intelligence 491 Artificial Intelligence 486 Application software 248 Mathematical logic 198 Software engineering 196 Mathematical Logic and Formal Languages 185 Computers 175 more ...
Artificial intelligence 491 Artificial Intelligence 486 Application software 248 Mathematical logic 198 Software engineering 196 Mathematical Logic and Formal Languages 185 Computers 175 more ...
1
2
3
4
Published 2004
Subjects: ';
“...Reason -- Congresses...”
5
6
7
8
9
Published 2008
Table of Contents: ';
“... High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description...”Get full text
10
Published 2016
Table of Contents: ';
“... Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving...”Get full text
11
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated...
Published 2018
Table of Contents: ';
“... Higher-Order Logic -- Automated Reasoning about Key Sets -- A Tableaux Calculus for Reducing Proof Size...”Get full text
12
13
Published 2004
Subjects: ';
“...Reasoning (Psychology)...”
14
15
16
Published 2014
Table of Contents: ';
“... Procedures for Propositional Modal Logics -- Cool – A Generic Reasoner for Coalgebraic Hybrid Logics (System...”Get full text
17
Published 2015
Table of Contents: ';
“...Reasoning at the frontier of knowledge: Introductory essay -- Why should the logic of discovery...”Get full text
18
Published 2020
Table of Contents: ';
“... of Forcing in Isabelle/ZF -- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL...”Get full text
19
Published 2020
Table of Contents: ';
“...Invited Paper -- Efficient Automated Reasoning about Sets and Multisets with Cardinality...”Get full text
20