adicionar à lista de desejos
Thirty Five Years Of Automating Mathematics eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, abril de 2013 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
TWtGcVRrUTJVazlDWW1wU1NXaDBlbGxNTkNzek1XbHBLMUJaZFhCRWNWaHdhelUwTTAxR1VsSjVSbUpoTTJKTk1YRlVaSGNyVWpWRWRXSmFhMm81UjNsclowWkVOMmxqZDBSNmJUSnpUMjVNZUdZNGMwOUdWMFJ2UkRsc2IxcFROakJOVUZoVFQwbE1Xbmx4YUhkSmFtY3pjRUpRVEhGeFJVaFhibkUyVWpSNlpqRlhVM05zUVdWSWVGaHpOMmhXVlZkUVEyODFURUZPY2tOVGRUZHlPV3RpZWtaQlJrOXFPR05HTVVSWk5uZG5ZVXN4TldVd1ZGWjRlRFJNYVhvMVdVVjBPRWxYVnpSSlNDc3dOVGxITnpWcWNUVXpUMVJ0WjFWck4zVlpaelI1UWpZeFUxSlRkR3RqVWpoVk1VOVJWRmg1VlVGeVlYSTFLMDh2T1U1dWJ6VlFVbE51ZDA5RFVsWXdLMDFPYm5KNU9VWXpWVGh6YXl0aWFVTnZjaTloUVVnME5uVndORzAwWXpaM00wWnlTbEpwTkRKeGVVWmlla2N2V2tacFRqaGtZMHczT0dOUlRVMXRaRE13YWpGNVlsbERhRkJ6T0ZSbVp6WkZjR2g1TDBaV2QzSnlVRGxOUVhWMmIxWmpabU4zT0ZoM1MyeGFaMmxMUXpOTVdqRlpha1UzVVhCNGFYSnFlRVZxZGpKbVZITlphMHR4TDFsU01ucHhNbVpLYkdKV2VIQldURGNyZURKek1FaDJkRWM0ZGtob1prdDZTaTlFVEZWbE4xTjVjMDVLVldKUmFVVjRTekl2T0hCck1sTlVOMHhYVG1RMWIwRjZOSGx5VERSWll6QjVVVWhNVW5ZeE4xZENWVzk1WW13MWFqUmxLekJsU0RST2RYY3JlV2RzT0ROYWFGY3JWRmx3TjNCNmJVaDNRV2gyWVZKT1RXVk9NV1Y1VEhsUEwwa3pZaXRETlhCbkwzaEtZVFl3Y0ZaTFJTOHZVMXBFVUVoVlVTdE9VbUZ4ZUhGMmMzSlFjWGwwWkZRNFVUTjBkSG8xY2pOd01HcGFlblkwTmxKbWJuaDBOV1ZEU1Uxc1Fub3hMMjVUT1ZZM1lreGpiRXBITURCRWNuRkdVRkFyVlVzMVkyaHJVVXg1TTNkSVdIcFlUMlJpVWxZd2FHNXdVVzlhUkhaakwweHVSR000Wm5KR1NXNVhSV0pLVTFVelpYVTRhM0pqV1hVNGNGZ3pMM2hZTXpNeWFFZzFUVzkzZGtwVVlUZG1VRTVFY1dsb2JWbHBXazlITm5kYWNHbFlkMkZLTHpOUmJXbHdlbEV3UFE9PTpkMVhTOHJrRVowZ2h1ZEJ1Qm5IaWJRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401702539 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | abril 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 > Informática > Outras Aplicações |
| EAN: | 9789401702539 |
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