De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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.
  • 8-11 hverdage.
  • 21. november 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: