Laddar...

QR-kod

Computer aided proofs in analysis/

other_versions_link

Bibliografiska uppgifter
Huvudupphovsman:	Meyer, Kenneth R
Övriga upphovsmän:	Schmidth, dieter S.
Materialtyp:	Printed Book
Språk:	English
Publicerad:	springer verlag, 1990.

Liknande verk

Computer aided proofs in analysis
Publicerad: (1990)

Proofs and computations /
av: Schwichtenberg, Helmut, et al.
Publicerad: (2012)

Analysis: An introduction to proof
av: Steefan R Lay
Publicerad: (1986)

Writing proofs in analysis /
av: Kane, Jonathan Michael
Publicerad: (2016)

Mathematical analysis and proof /
av: Stirling, David S. G.
Publicerad: (1997)

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

Complexity of statement, computation and proof
av: Schwartz, Jacob T
Publicerad: (1972)

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

Problems and proofs in real analysis
av: Yeh, J
Publicerad: (2014)

Logic and Proof
av: Bittnger, Marvin L
Publicerad: (1970)

Proof in geometry /
av: Fetisov, A. I.
Publicerad: (1978)

Godel's proof,
av: Nagel, Ernest
Publicerad: (1986)

Abel's proof.
av: Pesic, Peter
Publicerad: (2003)

Logic and Proof/
av: Bittinger, Marvin L.
Publicerad: (1970)

Proofs and types /
av: Girard, Jean-Yves
Publicerad: (1989)

Proof theory
av: Takeuti, Gaisi
Publicerad: (1975)

Shark proof
av: Mackay, Harvey B.
Publicerad: (1993)

Proof theory
av: Schutte, Kurt
Publicerad: (1977)

Logic and proof
av: Bittinger, Marvin L
Publicerad: (1970)

Proof Reading /

Godel's proof /
av: Nagel, Ernest
Publicerad: (1964)

Conjecture and proof
av: Laczkovich, Miklos
Publicerad: (2001)

Godel's proof /
av: Ernest Nagel
Publicerad: (2005)

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

Computer aided analysis and design
av: Regalla, Srinivas Prakash
Publicerad: (2010)

Computer - aided analysis and design
av: Ghoshal, S
Publicerad: (1997)

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

Moment of proof : mathematical epiphanies /
av: Benson, Donald C.
Publicerad: (1999)

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

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

Computer - Aided Heat Transfer Analysis
av: Adams, Alan J
Publicerad: (1973)

Computer aided mechanical design and analysis
av: Ramamurti, V
Publicerad: (1996)

Computer aided heat transferr analysis/
av: Adams, J. Alan
Publicerad: (1973)

Computer aided electronic circuits analysis
av: Chua, Leon O
Publicerad: (1975)

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

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

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

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

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

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