%0
Generic
%T
Advances in Temporal Logic
%A Barringer, Howard
%A Fisher, Michael
%A Gabbay, Dov
%A Gough, Graham
%I Springer
%@ 9789401595865
%K Philosophy (General)
%K Electronic data processing
%K Logic, Symbolic and mathematical
%K Philosophy
%K Logic
%K Data structures (Computer science)
%K Artificial intelligence.
%K Mathematical logic.
%K Information theory.
%D 2000
%C Springer
%C Dordrecht
%U http://slubdd.de/katalog?TN_libero_mab2