Author

Gilles Dowek

Catalogue records by Gilles Dowek in the PakCat Union Catalogue.

4 catalogue records

Catalogue records

Introduction to the Theory of Programming Languages Gilles Dowek 2011 Proofs and Algorithms: An Introduction to Logic and Computability Gilles Dowek 2011 در آئینہ باز ہے (اقبالیات کی روایت اور توسیعی مباحث ۔ (ا Gilles Dowek Year not listed کشف الاسرار وعدۃ الابرار معروف بہ تفسیر خواجہ عبداللہ انصاری (ف Gilles Dowek Year not listed