adicionar à lista de desejos
Advances In Temporal Logic eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, novembro de 2013 ‧
ver detalhes do produto
171,59€
10% DESCONTO
CARTÃO
YkdKc1VIZ3diMVp6WW5Wd1RIUnBNbEZCYlZjNGJHNWtUelpxY2s1allXMVBaMWRUZERaSlJEUnVPVVZTVDNSc1RGbFViMDV6YWtFNFFsWjRaV1JqUWpoUE0wSlFTbFIzVURocFozSk1jV2hKV2preFR6UmlWRzV6VG1WaE5tZzNUbVEyWm5GMlJuTjBWRlV6UXpKdFEyMW1aVGxEVFZBM2MydHRhM0ZLZW1nNU4wMDRaMDVRTkhNeWFtbENlbk42TkVwNmVFSndOemRwTmsxalNUVkVTMHhyWVVsMEswOUpiMDVPU0hFM2JXSnNhMGR6YldGNFFXNXpiRFl5T1haWlZFVlhTRTR3T1RGMlJIWXhSSE5sVFZGdmRVWlJiV0pUV1VoaVMyWjRlRzR6SzA4d1lUZGpkMWw2UVdoNGNraEtkazV1VDFwRVRGQlNZekZLZG1Odll6Y3hNV0oxUlUwNFpHVXZNV1lyY1doTlYwUjRhekZxZFN0WFNISmtSWGRCU1VGbVlVeGpWWFV2U1VGVldWWjRMelJhVmxrd1Z6RjFSakl5VmtKblNYaHpSbHBzZDNWUWJGUlJValZFZVVaR1ZrMXJXWHA0VUdNd1dHeG5MM001WW5RelZWTkRhQ3NyVFZKbFpUY3djVmd3VG10T09HRnZWMGR6WjNsMlpXZG1hVk50Y2xSWlJrTkNabnB4YTJZelRWZExZMVp5VFhKQmJreFVUWGhDWVZWWlZ6Y3JhM1JZZDB4UFRHMUJaRE5sVlVOcGVUSlZXa05YY2tGd1dHTjNRVVZvUTBaUlNsRnRNbVZRTlRkb1ZUaFBOVmxhTUVGMVlqQkZPU3N3TTJGTEwya3pVVk5SVFdwUU4xVkNNelpyUWpWWFF6Sm9aM3BCWmtOcE9HVk9NVXBwVlhOUFVsaEtabU50VUhOQlNXVlBWRUpEVjB3MldVNW5ka1ptVDNBME9XbFJha2h2VUdWTFkwTTBlV1FyTjBjM1pYVnhkRmxUU1dVNE1raFVURWxNZURJNVVFcHdWalJPYTI1eU5FUkZaRFJzWTBWUU1HbG5lVWhZTDBGWU5GZDBiMDluYkU1V01IQmtlbU52V21WdU56RkhkV2QwVlhoSmFuVXpPRmRtT0hJd1UxVk1VVzEzT0U1alMyTXZLM0JrVW00NFpXOXFNbEpoYjJ4amFXVllLMWRsY1ZvelRHOUVhMFZJTkRGQlR6QnliMGhHWlZCdE5qUkpPVXRWYkVwMVNFTlRUV0kyUzNaWWJXWTVjbVZhWTJWblIwMDVVM2Q2UkVaWmQycHhRVlpLZWpZemQxVkRkMFZKUFE9PTpOaDVGSDA4aWJMdzdjZGIxZUZGTmt3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401595865 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | novembro de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Applied Logic Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Gestão > Gestão e Organização |
| EAN: | 9789401595865 |
LIVROS DA MESMA COLEÇÃO
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO