Markedets billigste bøger
Gratis fragt fra 599,- kr
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

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.
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 16. december 2024
Forlænget returret til d. 31. januar 2025

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.