Arama Sonuçları - Daraltılmış: Başkent Kütüphanesi - Makale - "Proof and Computation" (1993 : Marktoberdorf)

Arama Sonuçları - Daraltılmış: Başkent Kütüphanesi - Makale - "Proof and Computation" (1993 : Marktoberdorf) SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLIBRARY$002509Library$0025091$00253ABASKENT$002509Ba$0025C5$00259Fkent$002bK$0025C3$0025BCt$0025C3$0025BCphanesi$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AMAKALE$002509Makale$0026qf$003dAUTHOR$002509Yazar$002509$002522Proof$002band$002bComputation$002522$002b$0025281993$002b$00253A$002bMarktoberdorf$002529$002509$002522Proof$002band$002bComputation$002522$002b$0025281993$002b$00253A$002bMarktoberdorf$002529$0026ps$003d300;jsessionid=2CCC1F1CD3A85A31CBC5F2E809C83CD1? 2024-06-19T14:42:33Z List of participants ent://SD_ILS/0/SD_ILS:61712 2024-06-19T14:42:33Z 2024-06-19T14:42:33Z by "Proof and Computation" (1993 : Marktoberdorf)<br/>Format: Kitap<br/> General information : local information course outlines and references ent://SD_ILS/0/SD_ILS:61886 2024-06-19T14:42:33Z 2024-06-19T14:42:33Z by "Proof and Computation" (1993 : Marktoberdorf)<br/>Format: Kitap<br/>