mathematical logician with a US Pat

mathematical logician with a US Patent for a theorem prover which maps English words to logical expressions and validates or invalidates them

Kết quả (Việt) 1:

nhà logic học toán học với chúng tôi bằng sáng chế cho một định lý prover có bản đồ tiếng Anh từ để diễn đạt logic và xác nhận hoặc invalidates chúng

Kết quả (Việt) 2:

logic học toán học với một bằng sáng chế Mỹ cho một Prover định lý mà các bản đồ từ tiếng Anh để các biểu thức logic và xác nhận hoặc làm mất hiệu lực họ