For Better Performance Please Use Chrome or Firefox Web Browser

A Bounded Translation from Intuitionistic Propositional Calculus into Basic Propositional Calculus, Logic Groups Seminars, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Fall 1998,

Year: 
1998
Month/Season: 
October
Type: 
Invited Talk

ارتقاء امنیت وب با وف بومی