Merkliste 
 1 Ergebnisse 
 
1

Logics for Programs and Knowledge:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 333-391 , 2023