Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Automatische Synthese Rekursiver Programme Als Beweisverfahren

Automatische Synthese Rekursiver Programme Als Beweisverfahren - Susanne Biundo - Bog

af Susanne Biundo

indgår i Informatik-Fachberichte / Subreihe Kunstliche Intelligenz serien

Automatische Synthese Rekursiver Programme Als Beweisverfahren af Susanne Biundo
Bag om Automatische Synthese Rekursiver Programme Als Beweisverfahren

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

Vis mere
  • Sprog:
  • Tysk
  • ISBN:
  • 9783540553007
  • Indbinding:
  • Paperback
  • Sideantal:
  • 267
  • Udgivet:
  • 8. April 1992
  • Størrelse:
  • 244x170x14 mm.
  • Vægt:
  • 465 g.
  • 8-11 hverdage.
  • 18. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Susanne Biundo

Vis alle bøger af Susanne Biundo

Beskrivelse af Automatische Synthese Rekursiver Programme Als Beweisverfahren

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

Brugerbedømmelser af Automatische Synthese Rekursiver Programme Als Beweisverfahren



Andre købte også..
Find lignende bøger
Bogen Automatische Synthese Rekursiver Programme Als Beweisverfahren findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.