Heuristic interest of using metatheorems

Saved in:
Bibliographic Details
Published inSymposium on Automatic Demonstration pp. 194 - 206
Main Author Pitrat, Jacques
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 23.08.2006
SeriesLecture Notes in Mathematics
Subjects
Empirical Exploration
Formal System
General Problem Solver
General Program
Theorem Prove
Online AccessGet full text

Cover

Author Pitrat, Jacques
Author_xml – sequence: 1
  givenname: Jacques
  surname: Pitrat
  fullname: Pitrat, Jacques
BookMark eNpFj8FOwzAQRBcoEknphS_IsZfA2l7b8RGqliJV4tJ7ZKcbCNAE2en_kwokTiPNaEbzcpj1Q88AdwLvBaJ9eNoERINGqQvIlSZURhopLyETRtjSGSevYOFsdc6QnCA5g2xq6rIiRTeQp_SBKDURZrDc8il2aeyaoutHjpzGYmiLU-r6t-LIox_feYh8TLdw3fqvxIs_ncN-s96vtuXu9fll9bgrG0uqFN7LVrdsnfEhGArk2TliO1lWaUfGN8GzZEHuYENjK2O91SyCaQ5aoZrD8nc2fcfpAsc6DMNnqgXWZ_r6n179AEkJSUE
CitedBy_id crossref_primary_10_5802_roia_19
crossref_primary_10_1007_BF01068444
ContentType Book Chapter
Copyright Springer-Verlag 1970
Copyright_xml – notice: Springer-Verlag 1970
DOI 10.1007/BFb0060633
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISBN 3540362622
9783540362623
EISSN 1617-9692
Editor Nolin, L.
Laudet, M.
Lacombe, D.
Schützenberger, M.
Editor_xml – sequence: 1
  givenname: M.
  surname: Laudet
  fullname: Laudet, M.
– sequence: 2
  givenname: D.
  surname: Lacombe
  fullname: Lacombe, D.
– sequence: 3
  givenname: L.
  surname: Nolin
  fullname: Nolin, L.
– sequence: 4
  givenname: M.
  surname: Schützenberger
  fullname: Schützenberger, M.
EndPage 206
GroupedDBID -GH
29L
2HD
2HY
5GY
ABZEH
ACGFS
ACNCT
ADOJD
AENEX
ALMA_UNASSIGNED_HOLDINGS
DU5
LDK
RIG
RSU
UQL
WH7
ID FETCH-LOGICAL-c743-1aa2f5fe796abb64b4ae994e7fe7735946acbae2e149d7bc7867a75e1b6cd5303
IEDL.DBID LDK
ISBN 9783540049142
3540049142
ISSN 0075-8434
IngestDate Tue Oct 01 21:12:16 EDT 2024
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c743-1aa2f5fe796abb64b4ae994e7fe7735946acbae2e149d7bc7867a75e1b6cd5303
PageCount 13
ParticipantIDs springer_books_10_1007_BFb0060633
PublicationCentury 2000
PublicationDate 20060823
PublicationDateYYYYMMDD 2006-08-23
PublicationDate_xml – month: 8
  year: 2006
  text: 20060823
  day: 23
PublicationDecade 2000
PublicationPlace Berlin, Heidelberg
PublicationPlace_xml – name: Berlin, Heidelberg
PublicationSeriesTitle Lecture Notes in Mathematics
PublicationSeriesTitleAlternate Lecture Notes in Mathematics
PublicationSubtitle Held at Versailles/France, December 1968
PublicationTitle Symposium on Automatic Demonstration
PublicationYear 2006
Publisher Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin Heidelberg
SSID ssj0025440
ssj0000327075
ssj0002530018
Score 1.3263725
SourceID springer
SourceType Publisher
StartPage 194
SubjectTerms Empirical Exploration
Formal System
General Problem Solver
General Program
Theorem Prove
Title Heuristic interest of using metatheorems
URI http://link.springer.com/10.1007/BFb0060633
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV05T8MwFLagCAkYuMWtIDGwtEriZzuZgaoCylSkbpVPBtRWIsnCr8fPOSrUpaOjSM6z7LzD3_c9Qh7AJA6UT1NZRmUfnGH-zOnYB3JxLmyWWh26KIw_-OgTXqdsutLZDmD39kYy_KhXeqK4QbxDpdtkh2YxQ_ze-_NbV1CJaSrixhfiOGUUO8512RcDqPkown8OUGiIHj5CTiDd7Wog9fifkGk78dplafBBw8Oa3F0E6UKEnnwPqlIN9O-6sOMm5h2RA6Q5RMg_8Et7TLbs4oTsjzsV1-KUPI5sVQs5R6gqgV08oqWLECr_Fc0RpxhYkPPijEyGL5OnUb_prNDXQZJUytQxZ0XOpVIcFEib52CFfyQoy4FLraRNrU-fjFBaZFxIwWyiuDZ-Wek56S2WC3tBItBGGqc0ZwlF7TZlwUGilA8LdJY7c0nuW3tnmDYUs1YneWXx1QbvXJO9uvjhzzW9Ib3yp7K3Phwo1V3YBn-UyaYZ
link.rule.ids 782,783,787,796,27937,38055,41243,42312
linkProvider Springer Nature
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED6VIsRj4C3eBImBgVZJfLaTGagCbToVqVtlOzYDaivRduHXYztNKmDp6ChSfJade_i-7wO4xyIyKG2aShMiWmgKas-cCm0gF6ZcJ7FWXkUh77PsHd-GdNiAxwoL47vdqytJ_6deEYq6HWI9KtmATRsERE6voPfcrSsqIYl5uHSGbhxT4iTn6vSLIpaAFG7ngwSXSA8bIkcYb9VFkHL8i8m0-vC_21LvhDr7kFfTL3tPPtuLuWyr7z_MjuvadwB7DugQOASCXdxDaOjJEezmNY_r7BgeMr0oqZwDxyvhdDyCqQlcs_xHMHadih4HOZ6dwKDzMnjKWktthZbypKRCxIYazVMmpGQoUeg0Rc3tI05oikwoKXSsbQJVcKl4wrjgVEeSqcKuKzmF5mQ60WcQoCpEYaRiNCKOvU1qNBhJaQMDlaSmOIe7yt6RSxxmo4opeWXxxRrv3MJ2Nsh7o95rv3sJO2UpxJ5ycgXN-ddCX9vgYC5v_J74AWnqqeI
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnZ07T8MwEMdPpQgEDLzFmyAxsLRN4nOczJSqUFoxFKlMlZ8MqCmi6cKnx06aVMCCGB1FSs6ydXf2_X8HcI0qMChsmkpjwhtoFLV7Tvo2kPMTpuNQy7yLQn8QdZ_xYURHNYhLLUxe7V5eSRaaBkdpSrPWuzKtJVzUrRbrXckKrLr-yTlGst2rTld8EjJ_4RjdOKTEtZ-rUjGKWIhTmP03JLhQfdhwOcBwrToQKcbfqKblh3_dnOYOqbMNL6UpRR3KW3Oeiab8_EF5_I-tO7DlBBCeUybYSd-Fmk73YLNf8V1n-3DT1fMC8ew53oTr7-FNjeeK6F-9iatgzPWRk9kBDDt3w9tuY9FzoSFzWCnnoaFGsyTiQkQokOskQc3sI0ZoghGXgutQ28RKMSFZHDHOqA5EJJWdY3II9XSa6iPwUCqujJARDYijugmNBgMhbMAg48SoY7gqbR-7hGI2LgnKS4tP_vDOJaw_tTvjx_tB7xQ2ihMSu_nJGdSzj7k-tzFDJi7y5fEFB1Kyxg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Symposium+on+Automatic+Demonstration&rft.au=Pitrat%2C+Jacques&rft.atitle=Heuristic+interest+of+using+metatheorems&rft.series=Lecture+Notes+in+Mathematics&rft.date=2006-08-23&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783540049142&rft.issn=0075-8434&rft.eissn=1617-9692&rft.spage=194&rft.epage=206&rft_id=info:doi/10.1007%2FBFb0060633
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0075-8434&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0075-8434&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0075-8434&client=summon