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 m. fl.

Inbunden, Engelska, 2011

1 289 kr

Skickas inom 10-15 vardagar

Handbook of Constructive Mathematics

AvDouglas Bridges,Hajime Ishihara m. fl.

Inbunden, Engelska, 2023

2 539 kr

Skickas inom 10-15 vardagar

Proof and System-Reliability

AvRalf Steinbruggen,Helmut Schwichtenberg m. fl.

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 m. fl.

Inbunden, Engelska, 1993

1 999 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 059 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 m. fl.

Häftad, Engelska, 2014

1 999 kr

Skickas inom 10-15 vardagar

Computational Logic

AvUlrich Berger,Helmut Schwichtenberg

Häftad, Engelska, 2012

2 059 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 409 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 m. fl.

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 m. fl.

Inbunden, Engelska, 2018

1 889 kr

Skickas inom 3-6 vardagar