1
Izdano 2008
Kazalo: ... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...
Polni tekst
Elektronski eKnjiga