Hoppa till sidans huvudinnehåll

Helmut Schwichtenberg – författare

Visar alla böcker från författaren Helmut Schwichtenberg.
14 produkter

Proofs and Computations

AvHelmut Schwichtenberg,Stanley S. Wainer

Inbunden, Engelska, 2011

1 339 kr

Skickas inom 7-10 vardagar

Handbook of Constructive Mathematics

AvDouglas Bridges,Hajime Ishiharam. fl.

Inbunden, Engelska, 2023

2 679 kr

Skickas inom 7-10 vardagar

Proof and System-Reliability

AvRalf Steinbruggen,Helmut Schwichtenbergm. fl.

Inbunden, Engelska, 2002

1 339 kr

Skickas inom 10-15 vardagar

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

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauerm. fl.

Inbunden, Engelska, 1993

2 109 kr

Skickas inom 10-15 vardagar

Logic of Computation

AvHelmut Schwichtenberg

Inbunden, Engelska, 1997

1 159 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Inbunden, Engelska, 1999

2 169 kr

Skickas inom 10-15 vardagar

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 449 kr

Skickas inom 10-15 vardagar

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauerm. fl.

Häftad, Engelska, 2014

2 109 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Häftad, Engelska, 2012

2 169 kr

Skickas inom 10-15 vardagar

Logic of Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Proof and Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2011

1 449 kr

Skickas inom 10-15 vardagar

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

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2021

2 569 kr

Skickas inom 3-6 vardagar

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

AvMainzer Klaus,Klaus Mainzerm. fl.

Inbunden, Engelska, 2018

1 959 kr

Skickas inom 3-6 vardagar