Michael Huth

!rev (1) #105 (1) 2e (1) @goog (1) @oh (1) @uasc (1) a ler (3) A restituer - EDF (1) BDD (1) bibalex (1) Ciência da computação (9) computação (2) computer science tripos reading list 2009-2010 (1) CS (2) Engenharia de software (1) file:computing/logic (1) goodreads:3.91 (1) haveebook:pdf (1) IA Avanzada (1) in gothenburg (1) li_3 (1) Liga metálica (1) logic verification model-checking (1) Lógica (11) Matemática (2) Não ficção (6) October 2013 (1) own (1) owner:klaus (1) put_to_storage_computing (1) shelf: b1 (1) smells of smoke (1) status: on loan to Billy (1) status: on shelf (1) temporal logic (1) Theoretische Informatik (1) Universidade (1) Van Heerden (1) Verificação de modelos (1) where:klaus home (1)