Logic in computer science modelling and reasoning about systems

Michael Huth Mark Ryan

Localização: IME - Inst. Matemática e Estatística (QA11.7 H979L 2.ed. e.8 )(Acessar)

Título:
Logic in computer science modelling and reasoning about systems
Autor: Michael Huth
Mark Ryan
Assuntos: LÓGICA MATEMÁTICA; Computer logic; Lehrbuch; Logic programming; Logic programming (Computer science); Mathematische Logik SWD-ID: 40379516; Theoretische Informatik SWD-ID: 41967355
Notas: Previous ed.: 1999
Editor: Cambridge u.a Cambridge University Press
Data de criação/publicação: 2004
Formato: xiv, 427 S Ill 25cm.
Idioma: Inglês

Links

Voltar para lista de resultados