10% de desconto

Mathematical Reasoning With Diagrams

de Mateja Jamnik
idioma: inglês
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, novembro de 2001 ‧
70,30€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Mathematical Reasoning With Diagrams

de Mateja Jamnik

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