Java Theorem Prover (JTP) is an obj

Java Theorem Prover (JTP) is an object-oriented modular reasoning system developed by Gleb Frank in Knowledge Systems Laboratory of Computer Science Department in Stanford University.

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

จาวาทฤษฎีบท Prover (JTP) เป็นการเชิงวัตถุมอดุลาร์ด้านระบบพัฒนา โดย Gleb Frank ในความรู้ระบบปฏิบัติการของคอมพิวเตอร์กรมวิทยาศาสตร์ในมหาวิทยาลัยสแตนฟอร์ด

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

Java ทฤษฎีบท Prover (JTP) เป็นระบบโมดูลาร์ให้เหตุผลเชิงวัตถุพัฒนาโดยแฟรงก์แกลบในความรู้ของระบบห้องปฏิบัติการภาควิชาวิทยาการคอมพิวเตอร์ในมหาวิทยาลัย Stanford

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

เป็นทฤษฎีบทโพรเวอร์ ( jtp ) เป็นระบบที่พัฒนาโดยเหตุผลเชิงวัตถุโมดูล Gleb แฟรงค์ในความรู้ระบบปฏิบัติการของคอมพิวเตอร์ภาควิชาในมหาวิทยาลัย Stanford .