Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Logic, Symbolic and mathematical
5
First-order logic
4
Computational linguistics
2
Mathematical logic
2
Mathematics
2
Natural language processing (Computer science)
2
Ontologies (Information retrieval)
2
Philosophy
2
Fuzzy logic
1
Game theory
1
Gödel's theorem
1
Hyperspace
1
MATHEMATICS / Logic
1
Many-valued logic
1
Model theory
1
-
1
-
2
-
3
-
4
-
5
-
6Θέματα: “...First-order logic....”
Printed Book -
7ανά Casanovas, EnriqueΘέματα: “...First-order logic....”
Έκδοση 2011
Table of contents only
Publisher description
Contributor biographical information
Printed Book -
8
-
9
-
10
-
11
-
12ανά Bergmann, MerrieΠίνακας περιεχομένων: “...Review of classical propositional logic -- Review of classical first-order logic -- Alternative...”
Έκδοση 2008
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Printed Book -
13ανά Walicki, MichałΠίνακας περιεχομένων: “... -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax...”
Έκδοση 2012
Printed Book -
14ανά Walicki, MichałΠίνακας περιεχομένων: “... -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax...”
Έκδοση 2012
Printed Book -
15
-
16Πίνακας περιεχομένων: “...2. Ontologies -- 2.1 Defining ontologies -- 2.2 Ontologies in first-order logic -- 2.3 Ontologies...”
Abstract with links to full text
Ηλ. βιβλίο -
17Πίνακας περιεχομένων: “...2. Ontologies -- 2.1 Defining ontologies -- 2.2 Ontologies in first-order logic -- 2.3 Ontologies...”
Abstract with links to full text
Ηλ. βιβλίο -
18