(Q52390346)

English

The representation of medical reasoning models in resolution-based theorem provers.

scientific article published in October 1993

In more languages

default for all languages

No label defined

No description defined

edit

Statements

instance of

scholarly article

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

title

The representation of medical reasoning models in resolution-based theorem provers. (English)

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

1 reference

Lucas P

1

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

publication date

1 October 1993

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

published in

Artificial Intelligence in Medicine

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

volume

5

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

issue

5

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

page(s)

395-414

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

Identifiers

DOI

10.1016/0933-3657(93)90033-Y

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

DBLP publication ID

journals/artmed/Lucas93

1 reference

stated in

DBLP Dataset 2021-01-02

retrieved

28 January 2021

Fatcat ID

release_gnixsv5xejhuhefobp5ndpudfm

1 reference

stated in

Fatcat

reference URL

https://api.fatcat.wiki/v0/release/gnixsv5xejhuhefobp5ndpudfm

retrieved

24 November 2022

based on heuristic

mapped directly with Wikidata item

PubMed publication ID

8004141

1 reference

stated in

Europe PubMed Central

PubMed publication ID

8004141

retrieved

30 April 2018

reference URL

http://europepmc.org/abstract/MED/8004141

(Q52390346)

The representation of medical reasoning models in resolution-based theorem provers.

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)