標題: Titlebook: Logic and Computer Science; Lectures given at th Steven Homer,Anil Nerode,Andre Scedrov,Piergiorgio Conference proceedings 1990 Springer-Ve [打印本頁] 作者: HEM 時間: 2025-3-21 17:01
書目名稱Logic and Computer Science影響因子(影響力)
書目名稱Logic and Computer Science影響因子(影響力)學科排名
書目名稱Logic and Computer Science網(wǎng)絡公開度
書目名稱Logic and Computer Science網(wǎng)絡公開度學科排名
書目名稱Logic and Computer Science被引頻次
書目名稱Logic and Computer Science被引頻次學科排名
書目名稱Logic and Computer Science年度引用
書目名稱Logic and Computer Science年度引用學科排名
書目名稱Logic and Computer Science讀者反饋
書目名稱Logic and Computer Science讀者反饋學科排名
作者: 遵循的規(guī)范 時間: 2025-3-21 20:44 作者: occult 時間: 2025-3-22 02:26 作者: Repetitions 時間: 2025-3-22 08:17 作者: 漂泊 時間: 2025-3-22 09:07 作者: bonnet 時間: 2025-3-22 16:24
Making computers safe for the world: An introduction to proofs of programs part I,作者: 褪色 時間: 2025-3-22 19:08 作者: nettle 時間: 2025-3-23 01:00 作者: inhumane 時間: 2025-3-23 03:30
0075-8434 ode:. Some Lectures on Intuitionistic Logic.- .R.A. Platek:. Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - .G.E. Sacks:. Prolog Programming.- .A. . .Scedrov:. A Guide to Polymorphic Types.978-3-540-52734-3978-3-540-47135-6Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: 模范 時間: 2025-3-23 06:22 作者: visual-cortex 時間: 2025-3-23 11:50
0075-8434 l computer science. These courses are recorded here in five expository papers: .S. Homer:. The Isomorphism Conjecture and its Generalization.- .A. Nerode:. Some Lectures on Intuitionistic Logic.- .R.A. Platek:. Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - .G.作者: Accolade 時間: 2025-3-23 16:31
第4樓作者: 索賠 時間: 2025-3-23 20:51
5樓作者: Cabinet 時間: 2025-3-24 01:05
5樓作者: 胡言亂語 時間: 2025-3-24 04:31
5樓作者: 秘方藥 時間: 2025-3-24 08:28
5樓作者: 壁畫 時間: 2025-3-24 14:30
6樓作者: 寬敞 時間: 2025-3-24 18:09
6樓作者: 好開玩笑 時間: 2025-3-24 21:56
6樓作者: Spinal-Fusion 時間: 2025-3-24 23:29
6樓作者: DEAWL 時間: 2025-3-25 06:21
7樓作者: 猛擊 時間: 2025-3-25 09:10
7樓作者: 充足 時間: 2025-3-25 13:17
7樓作者: FANG 時間: 2025-3-25 17:54
7樓作者: 侵略 時間: 2025-3-25 22:07
8樓作者: Free-Radical 時間: 2025-3-26 03:23
8樓作者: 昏暗 時間: 2025-3-26 07:49
8樓作者: Epithelium 時間: 2025-3-26 12:20
8樓作者: 障礙 時間: 2025-3-26 15:54
9樓作者: conquer 時間: 2025-3-26 19:06
9樓作者: FAR 時間: 2025-3-26 21:47
9樓作者: 天真 時間: 2025-3-27 04:21
9樓作者: DAUNT 時間: 2025-3-27 07:03
10樓作者: ciliary-body 時間: 2025-3-27 13:04
10樓作者: 軍械庫 時間: 2025-3-27 15:59
10樓作者: 駁船 時間: 2025-3-27 21:19
10樓
