Loading...

QR Code

Computer aided proofs in analysis/

other_versions_link

Bibliografiske detaljer
Hovedforfatter:	Meyer, Kenneth R
Andre forfattere:	Schmidth, dieter S.
Format:	Printed Book
Sprog:	English
Udgivet:	springer verlag, 1990.

Lignende værker

Computer aided proofs in analysis
Udgivet: (1990)

Proofs and computations /
af: Schwichtenberg, Helmut, et al.
Udgivet: (2012)

Analysis: An introduction to proof
af: Steefan R Lay
Udgivet: (1986)

Writing proofs in analysis /
af: Kane, Jonathan Michael
Udgivet: (2016)

Mathematical analysis and proof /
af: Stirling, David S. G.
Udgivet: (1997)

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

Complexity of statement, computation and proof
af: Schwartz, Jacob T
Udgivet: (1972)

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

Problems and proofs in real analysis
af: Yeh, J
Udgivet: (2014)

Logic and Proof
af: Bittnger, Marvin L
Udgivet: (1970)

Proof in geometry /
af: Fetisov, A. I.
Udgivet: (1978)

Godel's proof,
af: Nagel, Ernest
Udgivet: (1986)

Abel's proof.
af: Pesic, Peter
Udgivet: (2003)

Logic and Proof/
af: Bittinger, Marvin L.
Udgivet: (1970)

Proofs and types /
af: Girard, Jean-Yves
Udgivet: (1989)

Proof theory
af: Takeuti, Gaisi
Udgivet: (1975)

Shark proof
af: Mackay, Harvey B.
Udgivet: (1993)

Proof theory
af: Schutte, Kurt
Udgivet: (1977)

Logic and proof
af: Bittinger, Marvin L
Udgivet: (1970)

Proof Reading /

Godel's proof /
af: Nagel, Ernest
Udgivet: (1964)

Conjecture and proof
af: Laczkovich, Miklos
Udgivet: (2001)

Godel's proof /
af: Ernest Nagel
Udgivet: (2005)

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

Computer aided analysis and design
af: Regalla, Srinivas Prakash
Udgivet: (2010)

Computer - aided analysis and design
af: Ghoshal, S
Udgivet: (1997)

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

Moment of proof : mathematical epiphanies /
af: Benson, Donald C.
Udgivet: (1999)

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

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

Computer - Aided Heat Transfer Analysis
af: Adams, Alan J
Udgivet: (1973)

Computer aided mechanical design and analysis
af: Ramamurti, V
Udgivet: (1996)

Computer aided heat transferr analysis/
af: Adams, J. Alan
Udgivet: (1973)

Computer aided electronic circuits analysis
af: Chua, Leon O
Udgivet: (1975)

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

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

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

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

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

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