Temporal Logic and State Systems Fred Kroger Pengarang text Teks
text
regular print
Komputer
Sumber sambung jaring
 logic programming 978-3-540-68635-4 201016 20201016102842 INLIS000000000005943 Converted from MARCXML to MODS version 3.5 using MARC21slim2MODS3-5.xsl (Revision 1.106 2014/12/19)