Eintrag weiter verarbeiten
The scope and limits of simulation in automated reasoning
Gespeichert in:
| Zeitschriftentitel: | Artificial Intelligence |
|---|---|
| Personen und Körperschaften: | , |
| In: | Artificial Intelligence, 233, 2016, S. 60-72 |
| Format: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Elsevier BV
|
| Schlagwörter: |
| author_facet |
Davis, Ernest Marcus, Gary Davis, Ernest Marcus, Gary |
|---|---|
| author |
Davis, Ernest Marcus, Gary |
| spellingShingle |
Davis, Ernest Marcus, Gary Artificial Intelligence The scope and limits of simulation in automated reasoning Artificial Intelligence Linguistics and Language Language and Linguistics |
| author_sort |
davis, ernest |
| spelling |
Davis, Ernest Marcus, Gary 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/j.artint.2015.12.003 The scope and limits of simulation in automated reasoning Artificial Intelligence |
| doi_str_mv |
10.1016/j.artint.2015.12.003 |
| facet_avail |
Online Free |
| finc_class_facet |
Informatik Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen |
| format |
ElectronicArticle |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDE1LjEyLjAwMw |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDE1LjEyLjAwMw |
| institution |
DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 DE-D275 DE-Bn3 DE-Brt1 DE-Zwi2 DE-D161 DE-Gla1 DE-Zi4 |
| imprint |
Elsevier BV, 2016 |
| imprint_str_mv |
Elsevier BV, 2016 |
| issn |
0004-3702 |
| issn_str_mv |
0004-3702 |
| language |
English |
| mega_collection |
Elsevier BV (CrossRef) |
| match_str |
davis2016thescopeandlimitsofsimulationinautomatedreasoning |
| publishDateSort |
2016 |
| publisher |
Elsevier BV |
| recordtype |
ai |
| record_format |
ai |
| series |
Artificial Intelligence |
| source_id |
49 |
| title |
The scope and limits of simulation in automated reasoning |
| title_unstemmed |
The scope and limits of simulation in automated reasoning |
| title_full |
The scope and limits of simulation in automated reasoning |
| title_fullStr |
The scope and limits of simulation in automated reasoning |
| title_full_unstemmed |
The scope and limits of simulation in automated reasoning |
| title_short |
The scope and limits of simulation in automated reasoning |
| title_sort |
the scope and limits of simulation in automated reasoning |
| topic |
Artificial Intelligence Linguistics and Language Language and Linguistics |
| url |
http://dx.doi.org/10.1016/j.artint.2015.12.003 |
| publishDate |
2016 |
| physical |
60-72 |
| description |
|
| container_start_page |
60 |
| container_title |
Artificial Intelligence |
| container_volume |
233 |
| format_de105 |
Article, E-Article |
| format_de14 |
Article, E-Article |
| format_de15 |
Article, E-Article |
| format_de520 |
Article, E-Article |
| format_de540 |
Article, E-Article |
| format_dech1 |
Article, E-Article |
| format_ded117 |
Article, E-Article |
| format_degla1 |
E-Article |
| format_del152 |
Buch |
| format_del189 |
Article, E-Article |
| format_dezi4 |
Article |
| format_dezwi2 |
Article, E-Article |
| format_finc |
Article, E-Article |
| format_nrw |
Article, E-Article |
| _version_ |
1792346779436449792 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T17:44:48.436Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=The+scope+and+limits+of+simulation+in+automated+reasoning&rft.date=2016-04-01&genre=article&issn=0004-3702&volume=233&spage=60&epage=72&pages=60-72&jtitle=Artificial+Intelligence&atitle=The+scope+and+limits+of+simulation+in+automated+reasoning&aulast=Marcus&aufirst=Gary&rft_id=info%3Adoi%2F10.1016%2Fj.artint.2015.12.003&rft.language%5B0%5D=eng |
| SOLR | |
| _version_ | 1792346779436449792 |
| author | Davis, Ernest, Marcus, Gary |
| author_facet | Davis, Ernest, Marcus, Gary, Davis, Ernest, Marcus, Gary |
| author_sort | davis, ernest |
| container_start_page | 60 |
| container_title | Artificial Intelligence |
| container_volume | 233 |
| description | |
| doi_str_mv | 10.1016/j.artint.2015.12.003 |
| facet_avail | Online, Free |
| finc_class_facet | Informatik, Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen |
| format | ElectronicArticle |
| format_de105 | Article, E-Article |
| format_de14 | Article, E-Article |
| format_de15 | Article, E-Article |
| format_de520 | Article, E-Article |
| format_de540 | Article, E-Article |
| format_dech1 | Article, E-Article |
| format_ded117 | Article, E-Article |
| format_degla1 | E-Article |
| format_del152 | Buch |
| format_del189 | Article, E-Article |
| format_dezi4 | Article |
| format_dezwi2 | Article, E-Article |
| format_finc | Article, E-Article |
| format_nrw | Article, E-Article |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9qLmFydGludC4yMDE1LjEyLjAwMw |
| imprint | Elsevier BV, 2016 |
| imprint_str_mv | Elsevier BV, 2016 |
| institution | DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161, DE-Gla1, DE-Zi4 |
| issn | 0004-3702 |
| issn_str_mv | 0004-3702 |
| language | English |
| last_indexed | 2024-03-01T17:44:48.436Z |
| match_str | davis2016thescopeandlimitsofsimulationinautomatedreasoning |
| mega_collection | Elsevier BV (CrossRef) |
| physical | 60-72 |
| publishDate | 2016 |
| publishDateSort | 2016 |
| publisher | Elsevier BV |
| record_format | ai |
| recordtype | ai |
| series | Artificial Intelligence |
| source_id | 49 |
| spelling | Davis, Ernest Marcus, Gary 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/j.artint.2015.12.003 The scope and limits of simulation in automated reasoning Artificial Intelligence |
| spellingShingle | Davis, Ernest, Marcus, Gary, Artificial Intelligence, The scope and limits of simulation in automated reasoning, Artificial Intelligence, Linguistics and Language, Language and Linguistics |
| title | The scope and limits of simulation in automated reasoning |
| title_full | The scope and limits of simulation in automated reasoning |
| title_fullStr | The scope and limits of simulation in automated reasoning |
| title_full_unstemmed | The scope and limits of simulation in automated reasoning |
| title_short | The scope and limits of simulation in automated reasoning |
| title_sort | the scope and limits of simulation in automated reasoning |
| title_unstemmed | The scope and limits of simulation in automated reasoning |
| topic | Artificial Intelligence, Linguistics and Language, Language and Linguistics |
| url | http://dx.doi.org/10.1016/j.artint.2015.12.003 |