Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Q-CERT
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Adding predicate subtyping to higher-order logic yields a very expressive language in which type-checking is undecidable, making… Expand
2017
2017
Abstract Carers’ views about their role in recovery are under-researched, and studies investigating their needs are… Expand
2016
2016
This article was published in Joint Special Issue, Love in Professional Practice] Scottish Journal of Residential Child Care, 15… Expand
2016
2016
This book explores ways in which pedagogical research, theory, models and frameworks can be used pragmatically to enhance… Expand
2012
2012
“Destino”, des dels anys quaranta i sobretot en els cinquanta i primers seixanta del segle XX, mitjancant una formula culta, va… Expand
2011
2011
Dirk Schaefer is an Assistant Professor at the George W. Woodruff School of Mechanical Engineering at Georgia Institute of… Expand
2011
2011
This resource supports the Understanding Educational Enquiry module DET050 of the PG Cert at the University of Birmingham. It… Expand
2010
2010
Coal is an important fundamental resource. Coal logistics occupies an important position in the circulation domain of China. The… Expand
2007
2007
STATEMENT OF OWNERSHIP, MANAGEMENT AND CIRCULATION (Required by 39 U.S.C. 3685). 1. Title of publication: Lipids. la… Expand