Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Proving theorems by reuse

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Artificial Intelligence
Personen und Körperschaften: Walther, Christoph, Kolbe, Thomas
In: Artificial Intelligence, 116, 2000, 1-2, S. 17-66
Format: E-Article
Sprache: Englisch
veröffentlicht:
Elsevier BV
Schlagwörter:
Artificial Intelligence
Linguistics and Language
Language and Linguistics
author_facet Walther, Christoph
Kolbe, Thomas
Walther, Christoph
Kolbe, Thomas
author Walther, Christoph
Kolbe, Thomas
spellingShingle Walther, Christoph
Kolbe, Thomas
Artificial Intelligence
Proving theorems by reuse
Artificial Intelligence
Linguistics and Language
Language and Linguistics
author_sort walther, christoph
spelling Walther, Christoph Kolbe, Thomas 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/s0004-3702(99)00096-x Proving theorems by reuse Artificial Intelligence
doi_str_mv 10.1016/s0004-3702(99)00096-x
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-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9zMDAwNC0zNzAyKDk5KTAwMDk2LXg
id ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9zMDAwNC0zNzAyKDk5KTAwMDk2LXg
institution DE-Brt1
DE-Zwi2
DE-D161
DE-Gla1
DE-Zi4
DE-15
DE-Rs1
DE-Pl11
DE-105
DE-14
DE-Ch1
DE-L229
DE-D275
DE-Bn3
imprint Elsevier BV, 2000
imprint_str_mv Elsevier BV, 2000
issn 0004-3702
issn_str_mv 0004-3702
language English
mega_collection Elsevier BV (CrossRef)
match_str walther2000provingtheoremsbyreuse
publishDateSort 2000
publisher Elsevier BV
recordtype ai
record_format ai
series Artificial Intelligence
source_id 49
title Proving theorems by reuse
title_unstemmed Proving theorems by reuse
title_full Proving theorems by reuse
title_fullStr Proving theorems by reuse
title_full_unstemmed Proving theorems by reuse
title_short Proving theorems by reuse
title_sort proving theorems by reuse
topic Artificial Intelligence
Linguistics and Language
Language and Linguistics
url http://dx.doi.org/10.1016/s0004-3702(99)00096-x
publishDate 2000
physical 17-66
description
container_issue 1-2
container_start_page 17
container_title Artificial Intelligence
container_volume 116
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_ 1792329775998566406
geogr_code not assigned
last_indexed 2024-03-01T13:14:29.876Z
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=Proving+theorems+by+reuse&rft.date=2000-01-01&genre=article&issn=0004-3702&volume=116&issue=1-2&spage=17&epage=66&pages=17-66&jtitle=Artificial+Intelligence&atitle=Proving+theorems+by+reuse&aulast=Kolbe&aufirst=Thomas&rft_id=info%3Adoi%2F10.1016%2Fs0004-3702%2899%2900096-x&rft.language%5B0%5D=eng
SOLR
_version_ 1792329775998566406
author Walther, Christoph, Kolbe, Thomas
author_facet Walther, Christoph, Kolbe, Thomas, Walther, Christoph, Kolbe, Thomas
author_sort walther, christoph
container_issue 1-2
container_start_page 17
container_title Artificial Intelligence
container_volume 116
description
doi_str_mv 10.1016/s0004-3702(99)00096-x
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-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAxNi9zMDAwNC0zNzAyKDk5KTAwMDk2LXg
imprint Elsevier BV, 2000
imprint_str_mv Elsevier BV, 2000
institution DE-Brt1, DE-Zwi2, DE-D161, DE-Gla1, DE-Zi4, DE-15, DE-Rs1, DE-Pl11, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3
issn 0004-3702
issn_str_mv 0004-3702
language English
last_indexed 2024-03-01T13:14:29.876Z
match_str walther2000provingtheoremsbyreuse
mega_collection Elsevier BV (CrossRef)
physical 17-66
publishDate 2000
publishDateSort 2000
publisher Elsevier BV
record_format ai
recordtype ai
series Artificial Intelligence
source_id 49
spelling Walther, Christoph Kolbe, Thomas 0004-3702 Elsevier BV Artificial Intelligence Linguistics and Language Language and Linguistics http://dx.doi.org/10.1016/s0004-3702(99)00096-x Proving theorems by reuse Artificial Intelligence
spellingShingle Walther, Christoph, Kolbe, Thomas, Artificial Intelligence, Proving theorems by reuse, Artificial Intelligence, Linguistics and Language, Language and Linguistics
title Proving theorems by reuse
title_full Proving theorems by reuse
title_fullStr Proving theorems by reuse
title_full_unstemmed Proving theorems by reuse
title_short Proving theorems by reuse
title_sort proving theorems by reuse
title_unstemmed Proving theorems by reuse
topic Artificial Intelligence, Linguistics and Language, Language and Linguistics
url http://dx.doi.org/10.1016/s0004-3702(99)00096-x