Labelled Deduction, Fachbücher von Dov M. Gabbay, M. D'Agostino, Luca Viganò, David Basin, Seán Matthews

David Basin (u. A.) | Labelled Deduction | Buch | Englisch (2000) | Xi

Communities, Neighborhoods, and Health, Fachbücher von Stephen A. Matthews, Linda M. Burton, ManChui Leung, David T. Tak...

Applied Information Security, Fachbücher von David Basin, Michael Schläpfer, Patrick Schaller

Principles of Security and Trust, Fachbücher von John C. Mitchell, David Basin

The Fandom of David Bowie, Fachbücher von Sean Redmond, Toija Cinque

Reactive Kripke Semantics, Fachbücher von Dov M. Gabbay

Automated Deduction -- CADE-24, Fachbücher

The Significance of Beauty, Fachbücher von P. M. Matthews

Recent Progress in the Mechanics of Defects, Fachbücher von Davide Bigoni, Luca Deseri

Independent Random Sampling Methods, Fachbücher von Joaquín Míguez, David Luengo, Luca Martino

Induction and Deduction in the Sciences, Fachbücher

Protein Dimerization and Oligomerization in Biology, Fachbücher von Jacqueline M. Matthews

Deductions-Bibliothek von Deutschland, Fachbücher von Christoph von Holzschuher

Ultrasound-guided Musculoskeletal Procedures, Fachbücher von Enzo Silvestri, Luca Maria Sconfienza, Davide Orlandi

Automated Deduction - CADE-21, Fachbücher von Frank Pfenning