Personensuche
X
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
1
Modal and Intuitionistic Logics:
, In:
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
2
Beyond FO Within SO:
, In:
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
3
Sentential Logic (SL):
, In:
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
4
Introduction: Prerequisites:
, In:
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
5
Finitely and Infinitely Valued Logics:
, In:
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
6
Temporal Logics for Linear and Branching Time and Model Che..:
, In:
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
7
Logics for Programs and Knowledge:
, In:
?
8
Logic: Reference Book for Computer Scientists: The 2nd Revi..
Intelligent Systems Reference Library, 245
?
Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists ,
9
Rudiments of First-Order Logic (FO):
, In:
?
Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence ,
10
Beyond First-Order Logics:
, In:
?
Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence ,
11
Approximate Reasoning: Rough Logics:
, In:
?
Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence ,
12
Temporal Logics:
, In:
?
Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence ,
13
Propositional Modal Logic:
, In:
?
Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence ,
14
Propositional Logic:
, In:
?
Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence ,
15