Cargando...

Código QR

Computer aided proofs in analysis/

other_versions_link

Detalles Bibliográficos
Autor Principal:	Meyer, Kenneth R
Outros autores:	Schmidth, dieter S.
Formato:	Printed Book
Idioma:	English
Publicado:	springer verlag, 1990.

Títulos similares

Computer aided proofs in analysis
Publicado: (1990)

Proofs and computations /
por: Schwichtenberg, Helmut, et al.
Publicado: (2012)

Analysis: An introduction to proof
por: Steefan R Lay
Publicado: (1986)

Writing proofs in analysis /
por: Kane, Jonathan Michael
Publicado: (2016)

Mathematical analysis and proof /
por: Stirling, David S. G.
Publicado: (1997)

Mathematical analysis and proof /
por: Stirling, David S.

Complexity of statement, computation and proof
por: Schwartz, Jacob T
Publicado: (1972)

Proof analysis : a contribution to Hilbert's last problem /
por: Negri, Sara, et al.
Publicado: (2011)

Problems and proofs in real analysis
por: Yeh, J
Publicado: (2014)

Logic and Proof
por: Bittnger, Marvin L
Publicado: (1970)

Proof in geometry /
por: Fetisov, A. I.
Publicado: (1978)

Godel's proof,
por: Nagel, Ernest
Publicado: (1986)

Abel's proof.
por: Pesic, Peter
Publicado: (2003)

Logic and Proof/
por: Bittinger, Marvin L.
Publicado: (1970)

Proofs and types /
por: Girard, Jean-Yves
Publicado: (1989)

Proof theory
por: Takeuti, Gaisi
Publicado: (1975)

Shark proof
por: Mackay, Harvey B.
Publicado: (1993)

Proof theory
por: Schutte, Kurt
Publicado: (1977)

Logic and proof
por: Bittinger, Marvin L
Publicado: (1970)

Proof Reading /

Godel's proof /
por: Nagel, Ernest
Publicado: (1964)

Conjecture and proof
por: Laczkovich, Miklos
Publicado: (2001)

Godel's proof /
por: Ernest Nagel
Publicado: (2005)

Computer-Aided Multivariate Analysis
por: Afifi,Abdelmonem and Clark,Virginia A and May,Susanne
Publicado: (2004)

Computer aided analysis and design
por: Regalla, Srinivas Prakash
Publicado: (2010)

Computer - aided analysis and design
por: Ghoshal, S
Publicado: (1997)

Proofs that really count: The art of combinatorial proof.
por: Benjamin, Arthur T
Publicado: (2003)

Moment of proof : mathematical epiphanies /
por: Benson, Donald C.
Publicado: (1999)

Algorithms :The Construction ,Proof And Analysis Of Programs
por: Pierrie Berlioux, Philippe Bizard
Publicado: (1987)

Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Publicado: (2008)

Computer - Aided Heat Transfer Analysis
por: Adams, Alan J
Publicado: (1973)

Computer aided mechanical design and analysis
por: Ramamurti, V
Publicado: (1996)

Computer aided heat transferr analysis/
por: Adams, J. Alan
Publicado: (1973)

Computer aided electronic circuits analysis
por: Chua, Leon O
Publicado: (1975)

Computer-aided power systems analysis /
por: Kusic, George L.
Publicado: (2009)

Applied proof theory: Proof interpretations and their use in mathematics/
por: Kohlenbach,Ulrich
Publicado: (2008)

Applied proof theory proof interpretations and their use in mathematics
por: Kohlenbach. U.
Publicado: (2008)

Applied proof theory : proof interpretations and their use in mathematics /
por: Kohlenbach, U.
Publicado: (2008)

Handbook of logic and proof techniques for computer science /
por: Krantz, Steven G.
Publicado: (2002)

Handbook of logic and proof techniques for computer science
por: karntz, Steven G
Publicado: (2002)