BibSonomy

Lesezeichen und Publikationen teilen - in blau!

( en | de | ru )

 

Tag
  • Tag
  • Benutzer
  • Gruppe
  • Autor
  • Konzept
  • BibTeX-Schlüssel
  • Suche
  • Anmelden
  • Registrieren
  • Gruppen
  • Genealogie
  • Beliebt 
    • Einträge
    • Tags
    • Autoren
    • Konzepte
    • Diskussionen
  • Anmelden
  • Registrieren

Anmelden

Melden Sie sich mit Ihrem Benutzernamen an.

@

Ich habe mein Passwort vergessen.


Melden Sie sich mit Ihrem OpenID-Provider an.

  • Other OpenID-Provider
  1. Tag
  2. functional_programming inductive_programming automatic_programming recursive_program_schemes 2003 induction

Publication title

Lesezeichen  (verstecken)
  • Anzeige
  • alles
  • nur Lesezeichen
  • Lesezeichen pro Seite
  • 5
  • 10
  • 20
  • 50
  • 100
  • sortieren nach
  • hinzugefügt am
  • Titel
  • RSS
  • BibTeX
  • XML

    Keine Treffer.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

Publikationen  (verstecken)1  
  • Anzeige
  • alles
  • nur Publikationen
  • Publikationen pro Seite
  • 5
  • 10
  • 20
  • 50
  • 100
  • sortieren nach
  • hinzugefügt am
  • Titel
  • Autor
  • Erscheinungsdatum
  • Eintragstyp
  • Hilfe für erweiterte Sortierung...
  • RSS
  • BibTeX
  • RDF
  • mehr...

  •  

     
    2Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
     

    E. Kitzelmann. Technische Universität Berlin, (2003)
    vor 18 Jahren von @mh
    alle anzeigen
    • 2003
    • automatic_programming
    • functional_programming
    • igor1
    • induction
    • inductive
    • inductive_functional_programming
    • inductive_inference
    • inductive_program_synthesis
    • inductive_programming
    • mastersthesis
    • myown
    • programming
    • recursive_program_schemes
     
      2003automatic_programmingfunctional_programmingigor1inductioninductiveinductive_functional_programminginductive_inferenceinductive_program_synthesisinductive_programmingmastersthesismyownprogrammingrecursive_program_schemes
      (0)
      KopierenLöschenDiese Publikation zur Ablage hinzufügen
      • Community-Eintrag
      • Versionsverlauf dieses Eintrags
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    Stöbern

    Was ist BibSonomy?
    Erste Schritte
    Browser Buttons
    Hilfe
    Entwickler
    Überblick
    API-Dokumentation
    Kontakt und Datenschutz
    Impressum
    Datenschutz & AGB
    Cookies
    Probleme melden
    BibSonomy Wiki
    Integration
    PUMA
    TYPO3 Extension
    WordPress Plugin
    Java REST Client
    Unterstützte Kataloge
    mehr
    Über BibSonomy
    Team
    Weblog
    Mailing Liste
    Social Media
     Folge uns auf Twitter

    BibSonomy wird vom Data Science Lehrstuhl der Universität Würzburg, der Information Processing and Analytics Gruppe der Humboldt-Unversität zu Berlin, dem FG Wissensverarbeitung der Universität Kassel, und vom Forschungszentrum L3S betrieben.