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

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/..
 
?
3

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/..
 
?
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

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

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/..
 
?
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

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/..
 
?
12

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/..
 
?
13

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/..
 
?
14

Beyond First-Order Logics:

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

Many-Valued Logics:

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