Your search returned 33 results.

Results
	1.	Domain knowledge and hypothesis generation in diagnostic reasoning. [electronic resource] by Joseph, G M Patel, V L Producer: 19900516 In: Medical decision making : an international journal of the Society for Medical Decision Making vol. 10 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	2.	Clinical reasoning in experienced nurses. [electronic resource] by Simmons, Barbara Lanuza, Dorothy Fonteyn, Marsha Hicks, Frank Holm, Karyn Producer: 20031120 In: Western journal of nursing research vol. 25 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	3.	Temporal reasoning with medical data--a review with emphasis on medical natural language processing. [electronic resource] by Zhou, Li Hripcsak, George Producer: 20070403 In: Journal of biomedical informatics vol. 40 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	4.	The OWL Reasoner Evaluation (ORE) 2015 Competition Report. [electronic resource] by Parsia, Bijan Matentzoglu, Nicolas Gonçalves, Rafael S Glimm, Birte Steigmiller, Andreas Publication details: Journal of automated reasoning 2017 In: Journal of automated reasoning vol. 59 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	5.	OWL Reasoning: Subsumption Test Hardness and Modularity. [electronic resource] by Matentzoglu, Nicolas Parsia, Bijan Sattler, Uli Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 60 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	6.	A Formal C Memory Model for Separation Logic. [electronic resource] by Krebbers, Robbert Publication details: Journal of automated reasoning 2016 In: Journal of automated reasoning vol. 57 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	7.	Automated assessment of dipyridamole 201Tl myocardial SPECT perfusion scintigraphy by case-based reasoning. [electronic resource] by Khorsand, A Haddad, M Graf, S Moertl, D Sochor, H Porenta, G Producer: 20010308 In: Journal of nuclear medicine : official publication, Society of Nuclear Medicine vol. 42 Availability: No items available. Save to lists Add to cart (remove)
	8.	Leveraging XML-based electronic medical records to extract experiential clinical knowledge. An automated approach to generate cases for medical case-based reasoning systems. [electronic resource] by Abidi, Syed Sibte Raza Manickam, Selvakumar Producer: 20030428 In: International journal of medical informatics vol. 68 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	9.	On Definitions of Constants and Types in HOL. [electronic resource] by Arthan, Rob Publication details: Journal of automated reasoning 2016 In: Journal of automated reasoning vol. 56 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	10.	A Fully Automatic Theorem Prover with Human-Style Output. [electronic resource] by Ganesalingam, M Gowers, W T Publication details: Journal of automated reasoning 2017 In: Journal of automated reasoning vol. 58 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	11.	Extraction of Expansion Trees. [electronic resource] by Leitsch, Alexander Lolic, Anela Publication details: Journal of automated reasoning 2019 In: Journal of automated reasoning vol. 62 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	12.	Genetic Programming [electronic resource] by Kocsis, Zoltan A Swan, Jerry Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 60 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	13.	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [electronic resource] by Blanchette, Jasmin Christian Fleury, Mathias Lammich, Peter Weidenbach, Christoph Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 61 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	14.	Hammer for Coq: Automation for Dependent Type Theory. [electronic resource] by Czajka, Łukasz Kaliszyk, Cezary Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 61 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	15.	Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. [electronic resource] by Li, Wenda Paulson, Lawrence C Publication details: Journal of automated reasoning 2020 In: Journal of automated reasoning vol. 64 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	16.	A Verified Implementation of Algebraic Numbers in Isabelle/HOL. [electronic resource] by Joosten, Sebastiaan J C Thiemann, René Yamada, Akihisa Publication details: Journal of automated reasoning 2020 In: Journal of automated reasoning vol. 64 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	17.	An automated reasoning framework for translational research. [electronic resource] by Riva, Alberto Nuzzo, Angelo Stefanelli, Mario Bellazzi, Riccardo Producer: 20100923 In: Journal of biomedical informatics vol. 43 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	18.	The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [electronic resource] by Bancerek, Grzegorz Byliński, Czesław Grabowski, Adam Korniłowicz, Artur Matuszewski, Roman Naumowicz, Adam Pąk, Karol Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 61 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	19.	A Verified ODE Solver and the Lorenz Attractor. [electronic resource] by Immler, Fabian Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 61 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	20.	Verified iptables Firewall Analysis and Verification. [electronic resource] by Diekmann, Cornelius Hupel, Lars Michaelis, Julius Haslbeck, Maximilian Carle, Georg Publication details: Journal of automated reasoning 2018 In: Journal of automated reasoning vol. 61 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)

Refine your search

Availability

Authors

Topics

Languages

Your search returned 33 results.