Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Polkowski, Lech T
73  Ergebnisse:
Personensuche X
?
1

Temporal Logics for Linear and Branching Time and Model Che..:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 231-280 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Beyond FO Within SO:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 393-450 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Logics for Programs and Knowledge:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 333-391 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Rudiments of First-Order Logic (FO):

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 111-178 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Introduction: Prerequisites:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 1-60 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Modal and Intuitionistic Logics:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 179-229 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Finitely and Infinitely Valued Logics:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 281-332 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Sentential Logic (SL):

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 61-110 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Logic: Reference Book for Computer Scientists: The 2nd Revi.. 

Intelligent Systems Reference Library, 245
Polkowski, Lech T - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
10

Temporal Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 141-170 , 2022
Link: https://doi.org/10.1007/..
 
?
11

First-Order Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 41-74 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Approximate Reasoning: Rough Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 207-234 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Epistemic, Default and Dynamic Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 105-140 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Propositional Modal Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 75-103 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Propositional Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 1-39 , 2022
Link: https://doi.org/10.1007/..
 
1-15