A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

书目详细资料
Main Authors:	Kazakov, Y, Motik, B
格式:	Journal article
语言:	English
出版:	2008

相似书籍

A Resolution-Based Decision Procedure for SHOIQ.
由: Kazakov, Y, et al.
出版: (2008)

A Resolution−Based Decision Procedure for SHOIQ
由: Kazakov, Y, et al.
出版: (2008)

A Resolution−Based Decision Procedure for SHOIQ.
由: Kazakov, Y, et al.
出版: (2006)

A resolution-based decision procedure for SHOIQ
由: Kazakov, Y, et al.
出版: (2008)

RIQ and SROIQ are Harder than SHOIQ
由: Kazakov, Y
出版: (2008)

SRIQ and SROIQ are Harder than SHOIQ
由: Kazakov, Y
出版: (2008)

Correction to: International Journal of Recycling of Organic Waste in Agriculture https://doi.org/10.1007/s40093-019-0262-x
由: F. I. Achuba, et al.
出版: (2024-04-01)

Management of hyperglycaemia in type 2 diabetes mellitus: A consensus algorithm for the initiation and adjustment of therapy: Update regarding the thiazolidinediones (Diabetologia DOI: 10.1007/s00125-007-0873-z)
由: Nathan, D, et al.
出版: (2008)

Pfeifer, K. y P. Niki (Eds.: 2013), Forces of Nature and Cultural Responses, Springer Science, Dordrecht, 213 p., ISBN 978-94-007-4999-3, doi: 10.1007/978-94-007-5000-5
由: Cristina García-Hernández
出版: (2016-01-01)

Pfeifer, K. y P. Niki (Eds.: 2013), Forces of Nature and Cultural Responses, Springer Science, Dordrecht, 213 p., ISBN 978-94-007-4999-3, doi: 10.1007/978-94-007-5000-5
由: Cristina García-Hernández
出版: (2016-08-01)

Asymmetric larval competition in the parasitoid wasp Nasonia vitripennis: A role in sex allocation? (Behavioral Ecology and Sociobiology (2007) 61 (1751-1758) DOI: 10.1007/s00265-007-0407-1)
由: Sykes, E, et al.
出版: (2008)

Erratum: Absence of aquaporin-4 antibodies in patients with idiopathic intracranial hypertension (Journal of Neurology (2010) 257 DOI: 10.1007/s00415-010-5499-2)
由: Dhungana, S, et al.
出版: (2010)

Adipose tissue fatty acid metabolism in insulin-resistant men (Diabetologia DOI: 10.1007/s00125-008-1040-x)
由: Bickerton, A, et al.
出版: (2008)

European guidance for the diagnosis and management of osteoporosis in postmenopausal women (Osteoporosis International DOI: 10.1007/s00198-008-0560-z)
由: Kanis, J, et al.
出版: (2008)

Erratum: How do MYBPC3 mutations cause hypertrophic cardiomyopathy? (Journal of Muscle Research and Cell Motility DOI 10.1007/s10974-011-9268-3)
由: Marston, S, et al.
出版: (2012)

Erratum: Use of anti-depressants and the risk of fracture of the hip or femur (Osteoporos Int (DOI 10.1007/s00198-009-0849-6))
由: Van Den Brand, M, et al.
出版: (2009)

Erratum: Impact of nutrition on muscle mass, strength, and performance in older adults (Osteoporosis International DOI: 10.1007/s00198-012-2236-y))
由: Mithal, A, et al.
出版: (2013)

Erratum:The pharmacokinetics of artemether and lumefantrine in pregnant women with uncomplicated falciparum malaria(European Journal of Clinical Pharmacology (2006) 62 (1021-1031) DOI: 10.1007/s00228-006-0199-7)
由: Mcgready, R, et al.
出版: (2009)

Erratum: Atypical idiopathic inflammatory demyelinating lesions: Prognostic implications and relation to multiple sclerosis (Journal of Neurology (2013) 260 (2016-2022) DOI: 10.1007/s00415-013-6918-y)
由: Wallner-Blazek, M, et al.
出版: (2014)

Erratum to: Status and access to the Collaborative Cross population (Mammalian Genome (2012) 23, (706-712) DOI: 10.1007/s00335-012-9410-6)
由: Welsh, C, et al.
出版: (2014)

Erratum: A viscoelastic traction layer model of muco-ciliary transport (Bulletin of Mathematical Biology DOI: 10.1007/s11538-005-9036-x)
由: Smith, D, et al.
出版: (2007)

Erratum: Comparing intramodal and crossmodal cuing in the endogenous orienting of spatial attention (Experimental Brain Research (2007) DOI: 10.1007/s00221-006-0798-7)
由: Chica, AB, et al.
出版: (2007)

Erratum to Dispositional Mindfulness, Meditation, and Conditional Goal Setting (Mindfulness, 10.1007/s12671-010-0029-y)
由: Crane, C, et al.
出版: (2011)

Erratum to Cognitive profiles of poor readers of Kannada (Read Writ, 10.1007/s11145-010-9258-7)
由: Nag, S, et al.
出版: (2011)

Erratum: Bias in protein and potassium intake collected with 24-h recalls (EPIC-Soft) is rather comparable across European populations (European Journal of Nutrition DOI: 10.1007/s00394-011-0279-z)
由: Crispim, S, et al.
出版: (2013)

1,007 Dapat Lesen - Buka peluang OKU ibu tunggal siswazah penganggur berniaga
由: Harian Metro,
出版: (2008)

Erratum: Impact of FTO genotypes on BMI and weight in polycystic ovary syndrome: A systematic review and meta-analysis (Diabetologia DOI 10.1007/s00125-012-2638-6)
由: Wojciechowski, P, et al.
出版: (2012)

Erratum to: Overlapping functional anatomy for working memory and visual search (Exp Brain Res (2010) 200, 91-107 (DOI 10.1007/s00221-009-2000-5))
由: Anderson, E, et al.
出版: (2011)

Meat intake and bladder cancer in a prospective study: A role for heterocyclic aromatic amines? (Cancer Causes and Control DOI: 10.1007/s10552-008-9121-1)
由: Lumbreras, B, et al.
出版: (2008)

Jan Hemming, Methoden der Erforschung populärer Musik (Systematische Musikwissenschaft), Wiesbaden: Springer 2016, https://doi.org/10.1007/978-3-658-11496-1
由: Steffen Just
出版: (2018-12-01)

Erratum: Bone spicule pigment formation in retinitis pigmentosa: Insights from a mouse model (Graefe's Archive for Clinical and Experimental Ophthalmology DOI: 10.1007/s00417-009-1253-9)
由: Jaissle, G, et al.
出版: (2010)

BnaSNPDB: An interactive web portal for the efficient retrieval and analysis of SNPs among 1,007 rapeseed accessions
由: Tao Yan, et al.
出版: (2020-01-01)

Erratum: Cancer outcomes and all-cause mortality in adults allocated to metformin: Systematic review and collaborative meta-analysis of randomised clinical trials (Diabetologia DOI: 10.1007/s00125-012-2653-7)
由: Stevens, R, et al.
出版: (2012)

Erratum: Environmental risk and protective factors of adolescents' and youths' mental health: Differences between parents' appraisal and self-reports (Quality of Life Research DOI: 10.1007/s11136-012-0167-x)
由: Villalonga-Olives, E, et al.
出版: (2013)

Politics Between Nations. Contributions to International Relations, edited by Adebowale Akande. Springer, Cham. 2023. XXVII, 645 pp. https://doi.org/10.1007/978-3-031-24896-2.
由: Haykuhi Mkrtchyan, et al.
出版: (2023-12-01)

Schramm, Lucas. 2024. Crises of European Integration: Joining Together or Falling Apart? Palgrave Macmillan, Cham. XVII, 303 pp. https://doi.org/10.1007/978-3-031-54748-5.
由: Vahram Petrosyan, et al.
出版: (2024-09-01)

Taylor, Monique. 2022. China’s Digital Authoritarianism. Politics and Development of Contemporary China. Palgrave Macmillan, Cham. XVII, 169 pp. https://doi.org/10.1007/978-3-031-11252-2
由: Vache Kalashyan
出版: (2023-05-01)

Erratum to Generating and using examples in the proving process (Educ Stud Math, (2013), 83, (323-340), 10.1007/s10649-012-9459-x)
由: Sandefur, J, et al.
出版: (2013)

CORRIGENDUM Corrigendum to: Protein as a sole source of nitrogen for in vitro grown tobacco plantletsBIOLOGIA PLANTARUM 60 (4): 635-644, 2016https://doi.org/10.1007/s10535-016-0639-x
由: H. SYNKOVÁ, et al.
出版: (2023-05-01)

Karsgaard, Carrie. 2023. Instagram as Public Pedagogy: Online Activism and the Trans Mountain Pipeline. Palgrave Macmillan, Cham. XVII, 277 pp. https://doi.org/10.1007/978-3-031-26182-4
由: Knarik Abrahamyan
出版: (2023-12-01)