Hoppa till sidans huvudinnehåll

Helmut Schwichtenberg – författare

Visar alla böcker från författaren .
14 produkter
Helmut Schwichtenberg, Stanley S. Wainer - Proofs and Computations, Inbunden

Proofs and Computations

AvHelmut Schwichtenberg,Stanley S. Wainer

Inbunden, Engelska, 2011

1 339 kr

Skickas inom 7-10 vardagar

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg - Handbook of Constructive Mathematics, Inbunden

Handbook of Constructive Mathematics

AvDouglas Bridges,Hajime Ishiharam. fl.

Inbunden, Engelska, 2023

2 769 kr

Skickas inom 7-10 vardagar

Ralf Steinbruggen, Helmut Schwichtenberg, Helmut Schwichtenberg, Ralf Steinbruggen - Proof and System-Reliability, Inbunden

Proof and System-Reliability

AvRalf Steinbruggen,Helmut Schwichtenbergm. fl.

Inbunden, Engelska, 2002

1 329 kr

Skickas inom 10-15 vardagar

Helmut Schwichtenberg, Ralf Steinbrüggen - Proof and System-Reliability, Häftad
Del 62 - NATO Science Series II: Mathematics, Physics and Chemistry

Proof and System-Reliability

AvHelmut Schwichtenberg,Ralf Steinbrüggen

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg - Logic and Algebra of Specification, Inbunden

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauerm. fl.

Inbunden, Engelska, 1993

2 099 kr

Skickas inom 10-15 vardagar

Helmut Schwichtenberg - Logic of Computation, Inbunden

Logic of Computation

AvHelmut Schwichtenberg

Inbunden, Engelska, 1997

1 159 kr

Skickas inom 10-15 vardagar

Ulrich Berger, Helmut Schwichtenberg - Computational Logic, Inbunden

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Inbunden, Engelska, 1999

2 159 kr

Skickas inom 10-15 vardagar

Peter G. Clote, Helmut Schwichtenberg - Computer Science Logic, Häftad

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

AvPeter G. Clote,Helmut Schwichtenberg

Häftad, Engelska, 2000

1 439 kr

Skickas inom 10-15 vardagar

Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg - Logic and Algebra of Specification, Häftad
Del 94 - NATO ASI Subseries F:

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauerm. fl.

Häftad, Engelska, 2014

2 099 kr

Skickas inom 10-15 vardagar

Ulrich Berger, Helmut Schwichtenberg - Computational Logic, Häftad
Del 165 - NATO ASI Subseries F:

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Häftad, Engelska, 2012

2 159 kr

Skickas inom 10-15 vardagar

Helmut Schwichtenberg - Logic of Computation, Häftad

Logic of Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Helmut Schwichtenberg - Proof and Computation, Häftad

Proof and Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2011

1 439 kr

Skickas inom 10-15 vardagar

Mainzer Klaus, Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster - Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification, Inbunden

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2021

2 699 kr

Skickas inom 3-6 vardagar

Mainzer Klaus, Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy, Inbunden

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2018

2 059 kr

Skickas inom 3-6 vardagar