adicionar à lista de desejos
Elements Of Finite Model Theory
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, dezembro de 2010 ‧
ver detalhes do produto
118,97€
10% DESCONTO
CARTÃO
U0VKUVNrOVdUekU0Y0hwRWQwbG5XV1V4TXpSdVVVOU9LMmxxUXpnMVlXWlVNSE5qYWpSdWVEaERORTVZTm5KS2RqQmxjbWMxT0VkRWJGZFJaMjF0UVhabFZtRllUM05oVTIxVVRYSTBVR0UxTlVaNWNGZ3JabFp4YXk5dU5FNVdZVW9yTVRKWGJrTnpOSHBEY1VKaEswUm5abkZMWm1SR09UQm9WbFZaU1ZNclpFeFRkako2YXpjcmVEWTJXbVZzTTNBMVpTdHNZVGxrUmprNVRWa3pSbWRtVVdWWVMyRnpOWGMwV0ZjMFJ6SjVkVFJ6ZG5saFVqbFNWVTVuWVVwc1FsTnFaMVV2YkdsSFdXbEhjM2hXTUVsNmR6WnBWSGRpU1RKd1pIVXllVmhCYm00ek9FNDFjVXRaVWxsMVFXZHhUMk0yZURWblNIRllOMVl4ZDB4dWNWWXpiRzlDTlUxaGRuVm5NMjVxYmt3eVdqSk5aRFozTmsxU1V6SnpiemRUY1RaaUwyNVJlR3hXUVhsc1EwTkZLMFJhVEhKS1ltVXhaR2g1Tm1vMFRXbFNWWG8yU1M5WlUzSXJSR2hxYlUxalJrOXRTMEYzZEZsT1FUTXhkbFU1YzJ4elNFNTNWelJoYVRGQmJXTXZMMnczU2tJNFRUVmtXbmxOZVVoVldFSXpNblpHZDNCSWNFRTVOazl4UTB4MmFHaDNialpwU210VVJWaDNkVUpUVUROWlRHNWFia3MyUVRFck5IcHNhbmhrUm5KV2JXSjRWVFZQWldoQ2RHdGlZWGhvVGtNNWNqUkpOM3BtVUdwdlQxTnVTRzF5UlhRd00zcG9iSEpZZVc5MFYwRkxTVmhNTVU4cmF6VlVXV05hV1d0dFVrWXhLelpOVG0wNUsxTnRWekJ4VEV4WmMyMXZiVGN6YWpJNGNESnNNbEIzWkVGdVUxaFRZamxJUkdaalRIUndWWEJzU2pOU1ZVOVVkVkIyUldFclozZFRhekJ3WVhwUGNXOHdkak42V1M5V2JVZEJNVUZSWm5nck4zSkJkMlV6VmxJeWJtRTRlRGxuT0hoaFEzaHlkRVEwZGtST2QwaEhOWFZRYTB0UVdqWmlWM1pTWTI1bmRtRk5lV0UyT1ZGR2JtMVBOa05ZVmpGaVR6TlRRblJyVG1KcFZ6VlhPR0pNUVVOR1lqVjNRM042ZEhOMVJrRllMM05UUTB0NmNqQk5VMjU2UjBKMU1rdzJibVZKVVVKemJ6bDViVXRtTW1aeVRVWTNVMnBLUkVSMlprdDJSamt2WVRkUVJVTXpiWEJTZUVSS2QyMHhNVFp4VmtkNFFYVlhWRFV4UlRCV1Rua3pabVl6ZVRSUE0zZHBZWGd6ZVhOcGJGaDBNV0pVYmswcmNYWndPVlZrVm01VlVqaEZTVVJuWlZVdlRXaHJjbnBWZUVodmRIaEJkMkVyYzNWRmJVOHdkVzFMV21kVlRnPT06OWVBYWRMTEsrTE0vNzMxOC9sbVBmQT09
portes grátis
Venda o seu livro
SINOPSE
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783642059483 |
| Editor: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Data de Lançamento: | dezembro de 2010 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 318 |
| Tipo de produto: | Livro |
| Coleção: | Texts In Theoretical Computer Science. An Eatcs Series |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783642059483 |
LIVROS DA MESMA COLEÇÃO
-
Formal Methods For Software EngineeringeBook10%Springer International Publishing72,86€ 10% CARTÃO
-
Decision Procedures10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARTÃOportes grátis
-
Relational And Xml Data Exchange10%Springer International Publishing AG31,08€ 10% CARTÃOportes grátis
-
Elements Of Finite Model TheorySPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG102,99€