Floyd has pioneered the field of pr

Floyd has pioneered the field of program verification using logical confirmation message. Assigning Meanings to Programs of research, which was published in 1967. This work is the origin of logic Horn.

ผลลัพธ์ (ไทย) 1:

ฟลอยด์ได้เป็นผู้บุกเบิกด้านการตรวจสอบโปรแกรมที่ใช้ข้อความยืนยันตรรกะ กำหนดให้ความหมายกับโปรแกรมวิจัย ซึ่งถูกตีพิมพ์ในปี 1967 งานนี้เป็นต้นกำเนิดของตรรกะฮอร์น

ผลลัพธ์ (ไทย) 2:

ฟลอยด์ได้เป็นผู้บุกเบิกด้านการตรวจสอบโปรแกรมโดยใช้ข้อความยืนยันตรรกะ การกำหนดความหมายไปที่โปรแกรมของการวิจัยซึ่งตีพิมพ์ในปี 1967 ผลงานชิ้นนี้เป็นที่มาของตรรกะฮอร์น

ผลลัพธ์ (ไทย) 3:

ฟลอยด์ เป็นผู้บุกเบิกด้านการตรวจสอบโปรแกรมที่ใช้ตรรกะยืนยันข้อความ ให้ความหมายกับโปรแกรมของงานวิจัยซึ่งได้รับการตีพิมพ์ในปี 1967 งานนี้เป็นจุดเริ่มต้นของฮอร์นตรรกะ