Mod-01 Lec-13 Proof Theory : Hilbert-style
0
0
7 Görünümler·
02 Jul 2019
İçinde
gelişme / Yazılım Mühendisliği
Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in
Daha fazla göster
100% online learning from the world's best universities, organisations and Instructors
0 Yorumlar
sort Göre sırala