Suggested Topics within your search.
Suggested Topics within your search.
Computer science
32
Artificial intelligence
30
Software Engineering
24
Computer networking and communications
14
Computer programming / software engineering
13
Computer programming / software development
9
Mathematical theory of computation
9
Computer networking & communications
7
Algorithms and data structures
6
Computer hardware
4
Formal logic
4
Programming and scripting languages: general
4
Computer modelling & simulation
3
Computer modelling and simulation
3
Logic programming
3
Network hardware
3
Programming & scripting languages: general
3
Computer circuits
2
Databases
2
Discrete mathematics
2
Information retrieval
2
Mathematical foundations
2
Ontology
2
Philosophy
2
Semantics
2
Algorithms & data structures
1
Analysis
1
Answer set programming
1
Bernoulli
1
C (programming language)
1
-
1
-
2by Antonis Kakas“... This paper presents a way in which formal logic can be understood and reformulated in terms...”
Published 2019-06-01
Get full text
Article -
3by Amin A.K Vazir“...FORMAL LOGIC FOR THE ISLAMIC KNOWLEDGE...”
Published 2018-12-01
Get full text
Article -
4
-
5by David Sherry“... formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic...”
Published 2008-02-01
Get full text
Article -
6
-
7
-
8
-
9by Taylor, Christopher Nigel“... proved difficult. The research described in this thesis is an attempt to provide a formal logical theory...”
Published 1993
Get full text
-
10by I Ja Sultanov“...The points of dialectic and formal logic are in a complex ratio in dialectic process. The doctor...”
Published 2008-09-01
Get full text
Article -
11“... mechanical process to solve it. Within the context of formal logic, the decision problem consist to determine...”
Get full text
Article -
12
-
13
-
14
-
15by V. V. KoryaginSubjects: “...formal logic (inductive and deductive)...”
Published 2013-02-01
Get full text
Article -
16
-
17
-
18“... entailment (RTE) problem by formal logic method. Based on the theory of formal semantics and computational...”
Get full text
Others -
19by Borm, Eric A.“... formal logic utilities, the tools of formal methods. Modern CASE tools are the product of many years...”
Published 2009
Get full text
-
20by Borm, Eric A.“... formal logic utilities, the tools of formal methods. Modern CASE tools are the product of many years...”
Published 2009
Get full text
Others