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
VDFjek5sbDBhbVpZYmpCWWMwMVlTRmRSTm1kcVIwZEpTRlpsZVhOcmIyRkdXbFYzZW1FeGQzaFJPREYzUWpoSVFsbEVZelJVTkVWV1VFUkVPRzlSTlZSMU5uWm9jRzVwVFRVd2FHcGhlbFpZVTJnMEsxbFBNakZRS3pSb2NXNU5UVE5PTVRCM1NsWkdObXBLVmxkWFpFeEpjek5ZYlcweFN6ZE1OWFY1Y2pOWllqTlRVVzlLVm1oeFF6ZGhUMGRCVDB0a0sySmpTMEpKTm1SeVNFTTBWMGxEVUZSSlVXbHpZM2RGU25jM2JXMVdjaXR6YWk5bVpEWnVkbGhMV1hGaWVtUnhhVkpyUkhNM01XbzVMMFpuZUZaRFJVOVZjMWhNTUV0YVFWVXZSREJUUzBKV1VsZFhlVTAwUXpkbFpVSXdNVUo0U1dKS1FuaEdRbkpVTm5oSFdGYzVkRmhqU0hVdmVrZzJSalpwYURKTGJHSXlkME5xWVZkNWRVRjRjREpyZW5OM2RraFNVbUZwVjNNcldWQXJOVVl3VVZSc01ESTFiSGhpUlZGRlEzRlhabTVzTkhOWlZrMVROVlZOUVVORldWQmtkbmRYYjBwdFVUSk1SMkV2Wkhsa00wNXBUVFY1ZERKeVNUWm9VRW94TWxSTVYyRnhRblJDU1d3MFMxWmhTV1ZJTkhSbVZtOVRUWEkzVUV0U1YyZE5XVUpFZDA5d1VGZGFaek0yYUc1WFp5ODBaSE5tTDNSdlRHeHBUSGs0UmtZeVRqWkNZMEpaZVRsWVdXWnlWakpuVUZGdmRUSTVXVEJ4ZEhoR2VUQmxjQzl1WlUxdE9WQnhReXQyVURoeVJWVlNOR1p2U2xJM1ZuTk9jRzR4U0ZkQmFqQnBZblJCWW1WT1JqQjZTRFZIYnpsNFFWaFdUV3h4YWxoalRqVndPRlZtYzJkSFVuVnRUMjAxT1ZObFdGVTVZM0J4U0hKVmVGRjZaMGRzUW5rdmVWbE5kQ3R4WlZOUmRtRk9SRWRoV214M1dYVk5ObEJzZEZreU5tNHhhRWd5Wlc1Q1N5OWhSRmhNUVdOdE4wODJLeTlyTTNwNVZtTndTV1JwU1RoVWFteEhVbUZKYWpnNWNIRklUa1ZFVldvMlVHSjBkRTFCTVdkTWR5OW5WMUpsVURJek9ITk5iRlJGYUVKcmRUQTVjMjR3VWtaYWJHaFdVa3RTWm1Zd1ZHWmFaM3BIVmk5MmMzVlRORk5JTlRKRksxSXpibmwxTUV4NVRuUnVTMDEwUmpWMFJHWTRSRmhzYWk5SFdrbHBXbFphYkhGRFZqVmhWbk1yU25ocFVsUXphVWxNWTNKaFkxUTJjbkF4ZVRscE1tNXlRbVZEWW1wbk9GZEZiazg0VlRSWWF6SldlVmhDYVUxNVYxUnJXbTF5TkN0d1oyZHhVMVZUVFd0VE1VeFZZMUZWU1dwNGRpOUliMlJtT1dneE5nPT06ZU4zY2JvVENyb3crTVEvN1BvcmZWUT09
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%Reasoning, Rationality And ProbabilityCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION75,71€ 10% CARTÃOportes grátis
-
10%Logical Perspectives On Language And InformationCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION73,00€ 10% CARTÃOportes grátis
-
Mathematical Reasoning With DiagramsCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION29,74€portes grátis