A proof procedure with matrix reduction

Saved in:
Bibliographic Details
Published inSymposium on Automatic Demonstration pp. 207 - 214
Main Author Prawitz, Dag
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 23.08.2006
SeriesLecture Notes in Mathematics
Subjects
Function Symbol
Matrix Split
Predicate Logic
Proof Procedure
Resolution Procedure
Online AccessGet full text

Cover

Author Prawitz, Dag
Author_xml – sequence: 1
  givenname: Dag
  surname: Prawitz
  fullname: Prawitz, Dag
BookMark eNqVjssKgkAYhf_KIC03PYG72lj_XBx1WZH0AO1FbSy7ODJj1OOnELRucw6cC3wOWLWqJcCc4IoghuttkiMKFIwPwGEBRyaooHQINhEk9GMR0xG4cRj1HfKYcGqB3T0DP-KMT8Ax5opIA87RhsXGa7RSZa-FPD219F5Ve_EeWaurt6e7qGgrVc9gXGZ3I92vT2GZ7I-7g28aXdVnqdNcqZtJCaY9ZfqjZH9MP6SlPSg
ContentType Book Chapter
Copyright Springer-Verlag 1970
Copyright_xml – notice: Springer-Verlag 1970
DOI 10.1007/BFb0060634
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISBN 3540362622
9783540362623
EISSN 1617-9692
Editor Lacombe, D.
Nolin, L.
Laudet, M.
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 214
GroupedDBID -GH
29L
2HD
2HY
5GY
ABZEH
ACGFS
ACNCT
ADOJD
AENEX
ALMA_UNASSIGNED_HOLDINGS
DU5
LDK
RIG
RSU
UQL
WH7
ID FETCH-springer_books_10_1007_BFb00606343
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-springer_books_10_1007_BFb00606343
ParticipantIDs springer_books_10_1007_BFb0060634
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 2.6520205
SourceID springer
SourceType Publisher
StartPage 207
SubjectTerms Function Symbol
Matrix Split
Predicate Logic
Proof Procedure
Resolution Procedure
Title A proof procedure with matrix reduction
URI http://link.springer.com/10.1007/BFb0060634
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LS8QwEB50RVAPvvFNBEEvXdomadOjqMuirieFvS1Nk1zELvQB4q83k25bZA_uJRAInaZJ-k0m830BuDGpFKlkCrPEI4-JhHtCBbYIssTiQ6yiEMnJk7do_MGep3za62y7ZPf2RNL9qHs9UZwgFlDZOmxQ4XPM33t9fOkCKj4NY3-BhVgPOcUb57rdF2es4aPE9k0YZQuih_WQAxZudjGQpv5HyLQ1vHRY6jBotNuQu0snXYipJ5_DupLD7GdZ2HGV7u3BDtIcCPIP7KfdhzWdH8D2pFNxLQ_h9p5YU3NDHMqputAEw7bkC2X9v0mBqq84rkdwN3p6fxh7rc0Zuu7lrNUq7q3SYxjk81yfAKEmDWSohWQsY8qI1DotRmllUrvgE8FP4frfx52t0OYctpp4hl2q9AIGVVHrS4vwlbxyI_sLlPKaEg
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/eLvHCXMwjV1LS8NAEB5qRXwcfOPbFQQ9mNJkJ6-jqCXapKcKvYUku7kUU0gTEH-9O0mToh7sJbAQMrvZxzc7O9-3ALdpFDtRjIKyxC0NHdfUHKGrh564Ch9sYRlETg5GlveObxNz0oGHhgtTZbs3R5LVSr0UFKURohAV12BdOQE63VfgPw_biEqfG3Z_AYZUNkxOV8612y8TsSak2KoqyHHB9FAuso7GRhsEqcs_lEwbw39OSysQGuxC0FS_zj2Z9soi7iVfv5QdV23fHuwQ0YERA0H93H3oyOwAtoNWx3V-CHePTNmapazCOVHmklHgln2QsP8ny0n3lXr2CO4HL-MnT2tshuS8z8NGrXhplR9DN5tl8gQYTyM9NqQTIyYoUidSbksqpEgjNeVdxzyFm38_d7bCO9ew6Y0DP_RfR8Nz2KqjG2ri8gvoFnkpLxXeF_FV1c3fspGd2w
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEB7WFUU9-Ma3EQS97KNt2qZHcS2r6y4eFNZTaZrkInal24L46820my7qQfESCIRM82i_6WS-LwDnKuYs5lRglrjXoixwW0xYurCSQOODLzwbycnDkdd_ondjd9wAZrgwZba7OZKsOA2o0pTmnTehOnNxUdwtGl3pAizi_cmljGRvUEdXuo7td2fAiHXbdfD6ufpXzKW0Iqf4-rGoQ2esD-0uW9ReqgMiVf2Lqqkx_OPktASkcB2ezVCqPJSXdpHzdvLxTeXxP2PdgDUkQBBkJuhJ34SGTLdgdVjru0634eKKaLsTRUr8E0UmCQZ0ySsK_r-TDPVgccV34DK8ebzut4z9CJ36aWRUjOdWnV1oppNU7gFxVGxxWzJOaUKFYrF2Z5SQQsX6UxAwdx_Ofu3u4A9tTmH5oRdG97ejwSGsVEEP_T47R9DMs0Ieazcg5yflin8CvJKmvw
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=Prawitz%2C+Dag&rft.atitle=A+proof+procedure+with+matrix+reduction&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=207&rft.epage=214&rft_id=info:doi/10.1007%2FBFb0060634
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