[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1978 Volume 64 || The completeness of propositional dynamic logic
- 作者Winkowski, J.
- 文件大小550.86KB
- 发表时间1978
- DOI10.1007/3-540-08921-7_88
- 页码403-415
NOTESSUFFERN, C.; RICHMOND, H. W.; RICHMOND, H. W.; SENIOR, W.; BRINDLEY, H. H.; BRINDLEY, H. H.; ANDERSON, R. C.; ANDERSON, R. C.; COOPER, ERNEST R.; COOPER, ERNEST R.; COOPER, ERNEST R.; DYER, FLORENCE E.; ANDERSON, R. C.; ANDERSON, R. C.; ANDERSON, R. C.; DYER, FLORENCE E. · The Mariner's Mirror · 1928
EpidemiologyRomero-Ortuno, R.; Kenny, R. A.; O'Halloran, A. M.; O'Connell, M. D. L.; Finucane, C.; Savva, G. M.; Robertson, I. H.; Kenny, R. A.; McGarrigle, C. A.; Cronin, H.; Kenny, R. A.; Robertson, D. A.; Kenny, R. A.; Coen, R. F.; Savva, G. M.; Savva, G. M.; Donoghue, O. A.; Horgan, N. F.; O'Regan, C.; Cronin, H.; Kenny, R. A.; Patel, H. P.; Syddall, H. E.; Jameson, K. A.; Cooper, C.; Sayer, A. A.; Simmonds, S. J.; Syddall, H. E.; Evandrou, M.; Cooper, C.; Sayer, A. A.; Mwambelo, M. C.; Mdolo, T. C.; Mfune, P. H. K.; Allain, T. J.; Keevil, V. L.; Jameson, K.; Syddall, H.; Dennison, E. M.; Robinson, S.; Cooper, C.; Sayer, A. A. · Age and Ageing · 2013
Discussion on: “Street lighting by modern electric lamps”F. Bailey; C. P. Sparks; A. Seabrook; W. Vignoles; A. Trotter; L. Gaster; W. Cooper; C. Shaw; J. Morris; C. Russell; K. Edgcumbe; H. Boot; J. Dow; S. Fedden; J. Mackenzie; F. Sexton; H. Wilkinson; E. Scott; E. Hollis; S. Pearce; J. Frith; H. Angus; A. Cooper; O. Moon; F. Sells; H. Crews; M. Solomon; R. Chattock; W. Sumpner; A. Augold; R. Morcom; H. Harrison · 1911
NEW DISTRIBUTIONAL DATA: 3Ross, G. J. B.; Martin, R. J.; Cooper, J.; Lockhart, P.; Vernon, C.; Jackson, H. D.; Lockhart, P.; Vernon, C.; Cooper, J.; Schulten, G. G. M.; Irene, ; Kunkel, Peter; Boddam-Whetham, A. D.; Winterbottom, J. M.; Woodall, P. F.; Vernon, C.; Woodall, P. F.; Vernon, C.; Lockhart, P.; Wilmot, A. J.; Vernon, C.; Woodall, P. F.; Dove, R.; Wolters, H. E. · Ostrich · 1971
Enormous Accumulation of Fluid in an Ovarian CystH. Cooper and Henry Cooper · Provincial Medical & Surgical Journal (1844-1852) · 1852
The developmental origins of sarcopeniaA. A. Sayer; H. Syddall; H. Martin; H. Patel; D. Baylis; C. Cooper · 2008
78J. Marcus Boorman, J. Owen Mahoney, F. R. Honey, J. Scheffer, G. B. M. Zerr, P. S. Berg, A. H. Bell, H. C. Wilkes, Charles C. Cross, I. H. Bryant and Cooper D. Schmitt · The American Mathematical Monthly · 1898
90J. Mascus Boorman, Cooper D. Schmitt, A. H. Bell, Josiah H. Drummond, Charles C. Cross, Elmer Schuyler, M. A. Gruber, M. A. Gruber, H. C. Whitaker, Alois F. Kovarik, G. B. M. Zerr and J. Scheffer · The American Mathematical Monthly · 1899
Silicon Oxide Micromodule CapacitorsNowak, W.; O'Connor, J. · IEEE Transactions on Parts, Materials and Packaging · 1965
Electrolytic Corrosion of Metallic ResistorsFutschik, F. · IEEE Transactions on Parts, Materials and Packaging · 1965
Plasma Anodized Lanthanum Titanate FilmsWhitmore, R.; Vossen, J. · IEEE Transactions on Parts, Materials and Packaging · 1965
Printed Circuit Connectors from MicroassembliesSchumacher, J.; Lane, W. · IEEE Transactions on Parts, Materials and Packaging · 1965
The Gaseous Anodization of AluminumFopiano, P. · IEEE Transactions on Parts, Materials and Packaging · 1965
Multistate SemiconductorsKreer, J.; Page, C.; Soble, A. · IEEE Transactions on Parts, Materials and Packaging · 1965
Nanosecond Pulse Circuit Board InterconnectionsDimitrios, J. · IEEE Transactions on Parts, Materials and Packaging · 1965
Resistor Dimensions and Power DissipationBeukema, W.; Limpers, J. · IEEE Transactions on Parts, Materials and Packaging · 1965