adicionar à lista de desejos
Automated Model Building eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, novembro de 2013 ‧
ver detalhes do produto
137,27€
20% DESCONTO
IMEDIATO
VVhSaFpqUlNlbFpwUVhwMldGcFdibGh2UjNWamRrZDNSSE5vYmt4RlptOTBMM2xIYkhSRFUyZ3ZTSGhVZVhRMlNEUkZSbmhuYmtwaU16UTVjbEIxSzNGRllWWnViRkV4UWpoalQzSmxTQ3RsYkZoVFJrNXhOR2xNWXpGbGN6SnZWM0JLUzNOeFpYbG1TWEJxWVVGR2IwUndiM2h3TVVkYVVFUlhkbTlWUWpKVFpESkhWMGQwUm5SeWJsVTRXWGxCVmxOa1psRnlkbkZOTVdGMk5uVkNXRWhLTlhrNFV6VXJUV0pHTkRRNVRIWk9WM2hDYm5VeGRuTjFTbFJaVVd0RFRsUmlMM05uSzNaTWFWQXdOVmQzSzJKNGVVOHJiRmxFVkRoak0wbGpVSFI1ZEhZMFZrazBRWFYwUjFWSU0xQk1abmxDVW1WRWEyNVlaelpxU1VsMGNsSnBLM1JxVEZjMU0zVkRVR05hWm05cVZGWTRkbEpLYTJKVFJXZFZiRTlqWnl0dFUycFpZMEpvWmpOU09IZzJLM1JGTVVzeFpsbERTeTloTWxWclJYQnhZek53U1ZoVWN6UlpNMGhtWmxCTk9VRXhhRWR1UjBwWmMzTXpXRU5NY1V4UWFYQlBja2d5Tm1oeGJESmhabmxvUWxWaFQwVnllRFEzU1ZVNVprNVFlRkZGVjJKNlUyeDJOWGxTZVcxa2QzZFJaVVZPWlZGYVIzSkthamhVUVVWVlJFdG5XVTB3VFdKdlRqaEVOQzl1YVM4NGJucHZTWGxMWm1GTFVYUlhaRk4xSzNrcmJUSTNUa1JRZWpOSVYwMWhNbEpDWkdSUGRVNDJWRWxRT1d4VWVtSnJTMFkzYzJoYVVIZFpRbXd5ZFZwcFptcHNhelJYUkVkWlpGcG9aMWt6WXpkdmN6RnJRME4yVVZVeFlubHlSazV0TUN0d1FtVldZa1psUlVGaldFNVNWR3RoTWxGblNYSnNZMVJ1YzBoUWEzcG5SV3gzZGt4T1ZtRXZlbkJWYUdWa1VtZzBlRkZLUlZkeFlYVkRPVzR6WTNjNFNWZzRjMlZ2UkZORE0zaGhUREV6YURRdk16ZE5MM0JNTVd0MGQwUmpkMnBxZGk4MU0xSTJjVnBTYURWSlkxUmxZMDVVWldvMUsyY3ZlV2MwVFV4Q2NYWlFhRGt6VTBWRVZEWmFUSEJWWmxkYU5IWmhhMWd3ZDBOdlVGZHVUVEowVG1aTVVWcE1SMGhMU214WmIydHlLM0pOVmxGTVprNDFXRzFTVm1WclRESllURkZoTkdkWFdVMWpVQzl1VGpBMk1XOVBkMUV3UFE9PTpPY2hlT3dWZ0h2UklrQUFOVUdUT1VnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
DOMINGO DIGITAL – VER MAIS ARTIGOS EM PROMOÇÃO
SINOPSE
Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781402026539 |
| 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 Sociais e Humanas
>
Filosofia
|
| EAN: | 9781402026539 |
LIVROS DA MESMA COLEÇÃO
-
eBook20%Modern Perspective On Type TheorySPRINGER NETHERLANDS116,07€
145,09€ -
eBook20%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS94,87€
118,59€
-
10%Logique Pour L'Informatique Et Pour L'Intelligence ArtificielleHERMES SCIENCE PUBLICATIONS123,53€ 10% CARTÃOportes grátis