Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • The seventeen provers of the w...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

The seventeen provers of the world /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Wiedijk, Freek, 1961-
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science ; 3600.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
Subjects:
Wiskundige logica.
Algebra > Computer programs.
Proof theory > Data processing.
Algèbre > Logiciels.
Preuve, Théorie de la > Informatique.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA155.7.E4 S48 2006eb
 
Call Number Status Get It
QA155.7.E4 S48 2006eb Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...