Title: Languages From Formal to Natural
            
                Lecture Notes in Computer Science
Subjects: Logic design, Information theory, Symbolic and mathematical Logic, Computer science, Programming languages (electronic computers), Programming languages (Electronic computers), Formale Sprache, Kongress, Natürliche Sprache, Linguistische Datenverarbeitung, Programmverifikation