View in EDS PDF Full Text

THEOREM PROVING.

Saved in:
Bibliographic Details
Title: THEOREM PROVING.
Authors: Arasl, K. T.1, Pott, Alexaner2
Source: Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 21, p663-682. 20p.
Subjects: Automatic theorem proving, Education, Mathematics, Occupational training, Computers, Reasoning
Abstract: This article presents information regarding theorem proving. Automated theorem proving is the study of techniques for programming computers to search for proofs of formal assertions, either fully automatically or with varying degrees of human guidance. This discipline is potentially of tremendous value, because reasoning and inference underlie so many human activities. Automated theorem proving is based on a foundation of formal logic that has been developed over the past several centuries by mathematicians and philosophers. This heritage of formal logic is often taken for granted, despite the tremendous amount of thought and effort that went into its development.
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 17317390
AccessLevel: 6
PubType: Book
PubTypeId: book
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: THEOREM PROVING.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Arasl%2C+K%2E+T%2E%22">Arasl, K. T.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Pott%2C+Alexaner%22">Pott, Alexaner</searchLink><relatesTo>2</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Encyclopedia+of+Electrical+%26+Electronics+Engineering%22">Encyclopedia of Electrical & Electronics Engineering</searchLink>. 1999 1st Edition, Vol. 21, p663-682. 20p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Automatic+theorem+proving%22">Automatic theorem proving</searchLink><br /><searchLink fieldCode="DE" term="%22Education%22">Education</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics%22">Mathematics</searchLink><br /><searchLink fieldCode="DE" term="%22Occupational+training%22">Occupational training</searchLink><br /><searchLink fieldCode="DE" term="%22Computers%22">Computers</searchLink><br /><searchLink fieldCode="DE" term="%22Reasoning%22">Reasoning</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: This article presents information regarding theorem proving. Automated theorem proving is the study of techniques for programming computers to search for proofs of formal assertions, either fully automatically or with varying degrees of human guidance. This discipline is potentially of tremendous value, because reasoning and inference underlie so many human activities. Automated theorem proving is based on a foundation of formal logic that has been developed over the past several centuries by mathematicians and philosophers. This heritage of formal logic is often taken for granted, despite the tremendous amount of thought and effort that went into its development.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=17317390
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 20
        StartPage: 663
    Subjects:
      – SubjectFull: Automatic theorem proving
        Type: general
      – SubjectFull: Education
        Type: general
      – SubjectFull: Mathematics
        Type: general
      – SubjectFull: Occupational training
        Type: general
      – SubjectFull: Computers
        Type: general
      – SubjectFull: Reasoning
        Type: general
    Titles:
      – TitleFull: THEOREM PROVING.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Arasl, K. T.
      – PersonEntity:
          Name:
            NameFull: Pott, Alexaner
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 21
              M: 01
              Text: 1999 1st Edition
              Type: published
              Y: 1999
          Numbering:
            – Type: volume
              Value: 21
          Titles:
            – TitleFull: Encyclopedia of Electrical & Electronics Engineering
              Type: main
ResultId 1