na INLIS000000000005943 20201016102842 0010-1020000180 ta 201016 | | | 978-3-540-68635-4 Fred Kroger Pengarang Temporal Logic and State Systems Stephan Merz Pengarang logic programming Berlin : Springer, 2008 rdacontent Teks rdamedia Komputer rdacarrier Sumber sambung jaring