Terms for subject Artificial intelligence containing program

English	German
automatic program annotation	automatische Programmkommentierung
automatic program construction	automatische Programmkonstruktion
automatic program documentation	automatische Programmdokumentation
automatic program synthesis	automatische Programmerzeugung
automatic program synthesis	automatische Programmsynthese
automatic program synthesizer	Programmiermaschine
automatic program synthesizer	automatischer Programmerzeuger
automatic program synthesizer	automatisches System zur Programmsynthese
automatic program synthesizer	Programmierautomat
automatic program verifier	automatischer Programmprüfer
automatic program writer	automatischer Programmschreiber
automatic program writer	automatischer Programmierer
formal program specification	formale Programmspezifikation
formal program specification	formale Programmspezifizierung
interactive program specification	interaktive Programmspezifikation
interactive program specification	interaktive Programmspezifizierung
partial program specification	partielle Programmspezifikation
partial program specification	partielle Programmspezifizierung
program annotation	Programmkommentierung
program construction	Programmerstellung
program derivation	Programmableitung (in der logischen Programmierung)
program generation	Programmsynthese
program generation	Programmerzeugung
program model	Programmodell
program net	Programmnetz
program representation	Programmdarstellung
program representation	Programmrepräsentation
program scheme	Programmschema
program synthesis	Programmerzeugung
program synthesizer	System zur Programmsynthese
program synthesizer	Programmierautomat
program understanding	Verstehen von Programmen
program verifier	Programmprüfer
program verifier	Programmverifikator
program writer	Programmschreiber
program writer	Programmierer
program writing	Programmerstellung
program writing	Programmieren
structured program design	strukturierter Programmentwurf