海量图书期刊资源,随时随地畅享阅读乐趣
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Automatic structuresBlumensath, A.; Gradel, E. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Probabilistic game semanticsDanos, V.; Harmer, R. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Definability and compressionAfrati, F.; Leiss, H.; de Rougemont, M. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Game semantics and subtypingChroboczek, J. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A modality for recursionNakano, H. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Logic, complexity, and gamesFagin, R. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Virtual symmetry reductionEmerson, E.A.; Havlicek, J.W.; Trefler, R.J. · 2000
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Assigning types to processesYoshida, N.; Hennessy, M. · 2000
Streptomycin therapy in nontuberculous diseasesHerminie B. Kitchen; Selman A. Waksman · 1953
EditorialO. Dubois; R. Monasson; B. Selman; R. Zecchina · 2001
Connectionist systems for natural language understandingB. Selman · 1989
Protein Methylation in Pea ChloroplastsNiemi, K. J.; Adler, J.; Selman, B. R. · PLANT PHYSIOLOGY · 1990
Computerized Tomographic DiagnosisSpetzler, Robert F.; Norman, David; Selman, Warren R.; Kaufman, Benjamin; Wilson, Charles B. · Neurosurgery · 1979
The “O” signHoffman, Cane F.; Selman, Larkin L.; Dyer, Raymond B. · Abdominal Radiology · 2017
ReviewsSelman, Martin J.; White, B. R.; Payne, Ernest A.; Cupsham, Ernest F. · Baptist Quarterly · 1976
Reviews of booksThomas, M. F.; Davidson, Donald A.; Selman, Paul H.; Forbes, Jean; Moir, D. G.; Keates, John S.; Jefferies, Alfred; Maclean, Kenneth; Salmon, R. B. · Scottish Geographical Magazine · 1982