adicionar à lista de desejos
Mathematical Reasoning With Diagrams
idioma: inglês
Editor:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, novembro de 2001 ‧
ver detalhes do produto
70,30€
10% DESCONTO
CARTÃO
V1ZsSVQycEdPRzVOTmtRMFYzWjFVWGxMWWt4WFkzTlRXalJTUjBKSlkxUk5kMEoxTlZCeUwyUXdVakZ0U0RoeE9VZHFVVU12UzJOTmRIUmtZbVZaWVVwU01XeDVORmc0WjIxbE5Wb3lVRmc0TjFseFRXbFVaVzlhTURNNFQweENlQ3R0WkVnNGIyODBiWFUzV2xCMlRWY3hiUzlFTkdoWFdGZHhURzFNVWpaS04wbFpkVnBwV0RKM09WZE5SM3BhZFhWTEt6ZFpWMkphVFd4bGIzSkpRa0U0U1haaGNXcGlXVko0UzJ0WFdrbzFZbU5sYmk5T2FrTk9Xa1UxVmtnNVdtMTJjbmhXUVRoRmJqRTNkVVl4ZVVSMlozVkpVMlZOZEcxamN5dHhaVzVqY2poMEx6Vm9NbU5PVTAxTVZ5OTBZVzlwYTJad0wyMUpRalZrVmt0MmNWbzJXbmRJZDNaU2RXaDJXazVrUkVoTVVGbGhVRU40VVROM2VVNVJiazVCZUVoMFRFVTFhMGRST1RKaVRXRjZObmhZWjNKRFpteHpURk5SZVdoeFFsWkRXbUl2WlUwelNVSXphalJGU25RclVqVjZRVTVwTUU4M05VcGpjRlYySzBWNVducEVhMjFhVjI0NWQxZG1SVzl0ZFdwck4yVmpWa3huZVU5S1EyRkNaMnRhTjFCek5GQlZiVGh0UkZkV00zcHlRV2xGUTFWSVVISkpUa0pEVERkNWRITmxSRGM1V1doYVoxZEdibGxOU3psSGMyWlFia05zUkV4UlV5dGFVa0ZuWm1SU2NIVlNVVnBhZDA1T0syRjZSV3g2TlZkeFVXSkRRVE53Vm1KeVEzVjFVakYzU0ZkRGMxaE1UVTVQU1RSbFVtY3ZVVnBxV1RsS00yUlVjbFpuUkRjeE4waDZRMDlWYnpKb1JERnNSRE5aWTI5WVp5OU9OeXRHT0hWd1FURkVSVGxWVmtOT2JFMDFkRXd4UzNaMmFVWkZhRUoyU1V4R1p6RjRaMU5OY0VodVoyVldiVUprY0RSeE55OTFhR1pYYUhoWFRGUTNWWEJSTVU1b1pIVlpUbFYzV0VsaGRIUnJWSEZWYlhGUVpHdE1ZbXREUVZkU1drc3haMjk2YTJORksyeGljbFJHZWt4dWQwcDVSV3h2Y3pScmRFNHdhbkJSVDNrMWJVSnpUMFZMWTJwUWJERnNUR3A2TlhGVlVHcHZLek5hVVdOQ1JDdG1aME5LYTBsVVJqbHpWMEV3Um5ONE1tNHZlRmRuVlU1SVMwOU1NMGRMYVV0RVMyMHpRMjkxVGk5VlNVcEhkVkkzVEhkYU5qUTRVSGx1ZGtkeWFGZDBaSEo0VWpWVWFqaHZWMGhqWkU1alFYUndiRTFGU0dKbWJGWTFVbEE0YmxkUVUxWXZVbXhOT1c1NlJFSnJOMGQ0UzBKVFIxZG1UazFOY0RoM1NITlNjVWhJZFZkVE1RPT06ckpNZ29uUmRrbHRJUkFWbGRmc0NJUT09
portes grátis
Venda o seu livro
SINOPSE
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic formal proof system which allows users to prove theorems using diagrams.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781575863238 |
| Editor: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Data de Lançamento: | novembro de 2001 |
| Idioma: | Inglês |
| Dimensões: | 15 x 23 x 2 mm |
| Encadernação: | Capa dura |
| Páginas: | 200 |
| Tipo de produto: | Livro |
| Coleção: | Lecture Notes |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9781575863238 |
LIVROS DA MESMA COLEÇÃO
-
10%Logical Perspectives On Language And InformationCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION73,00€ 10% CARTÃOportes grátis
-
10%Surfaces And SuperpositionCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION29,74€ 10% CARTÃOportes grátis
-
Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION29,74€portes grátis