Matemática

Advances In Temporal Logic

 

eBook
Bertrand.pt - Advances In Temporal Logic
idioma: Inglês
Editor: SPRINGER NETHERLANDS
Edição: novembro de 2013
10%
171,59€
Poupe 17,16€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Presents articles containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. This book is intended for postgraduate and postdoctoral students, and also research professors in this area.

Da mesma coleção

ver +
Modern Perspective On Type Theory
10%
10% Cartão Leitor Bertrand
145,09€
Poupe 14,51€
SPRINGER NETHERLANDS
eBook
Hybrid Logic And Its Proof-Theory
10%
10% Cartão Leitor Bertrand
118,59€
Poupe 11,86€
SPRINGER NETHERLANDS
eBook
Advances In Temporal Logic
ISBN:
9789401595865
Ano de edição:
11-2013
Editor:
SPRINGER NETHERLANDS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Applied Logic Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

eBooks  >  eBooks em Inglês  >  Gestão  >  Gestão e Organização

EAN:
9789401595865
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.