Hoppa till sidans huvudinnehåll

Helmut Schwichtenberg - Böcker

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

Proofs and Computations

AvHelmut Schwichtenberg,Stanley S. Wainer,Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg,Stanley S. (University of Leeds) Wainer

Inbunden, Engelska, 2011

1 249 kr

Skickas inom 7-10 vardagar

Handbook of Constructive Mathematics

AvDouglas Bridges,Hajime Ishihara,Michael Rathjen,Helmut Schwichtenberg

Inbunden, Engelska, 2023

2 489 kr

Skickas inom 7-10 vardagar

Proof and System-Reliability

AvRalf Steinbruggen,Helmut Schwichtenberg,Helmut Schwichtenberg,Ralf Steinbruggen,Ralf Steinbrüggen

Inbunden, Engelska, 2002

1 299 kr

Skickas inom 10-15 vardagar

Proof and System-Reliability

AvHelmut Schwichtenberg,Ralf Steinbrüggen

Häftad, Engelska, 2002

689 kr

Skickas inom 10-15 vardagar

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauer,Helmut Schwichtenberg

Inbunden, Engelska, 1993

2 029 kr

Skickas inom 10-15 vardagar

Logic of Computation

AvHelmut Schwichtenberg

Inbunden, Engelska, 1997

1 129 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Inbunden, Engelska, 1999

2 089 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 369 kr

Skickas inom 10-15 vardagar

Logic and Algebra of Specification

AvFriedrich L. Bauer,Wilfried Brauer,Helmut Schwichtenberg

Häftad, Engelska, 2014

2 029 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Häftad, Engelska, 2012

2 089 kr

Skickas inom 10-15 vardagar

Logic of Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

Proof and Computation

AvHelmut Schwichtenberg

Häftad, Engelska, 2011

1 429 kr

Skickas inom 10-15 vardagar

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

AvMainzer Klaus,MAINZER KLAUS,Klaus Mainzer,Helmut Schwichtenberg,Peter Michael Schuster

Inbunden, Engelska, 2021

2 549 kr

Skickas inom 3-6 vardagar

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

AvMainzer Klaus,MAINZER KLAUS,Klaus Mainzer,Peter Michael Schuster,Helmut Schwichtenberg,Germany) Mainzer, Klaus (Technical University Of Munich,Italy) Schuster, Peter Michael (Univ Degli Studi Di Verona,Germany) Schwichtenberg, Helmut (Ludwig Maximilians Univ Munchen

Inbunden, Engelska, 2018

1 819 kr

Skickas inom 3-6 vardagar