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

Libraries Catalog

Advanced
  • Theory reasoning in connection...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

Theory reasoning in connection calculi /

Bibliographic Details
Main Author: Baumgartner, Peter, 1962-
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science ; 1527.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving.
Calculus.
complétion.
linéarisation.
tableau.
modéle Herbrand.
logique 1er ordre.
raisonnement.
démonstration théorème.
Théorèmes > Démonstration automatique.
Kunstmatige intelligentie.
Wiskundige logica.
Inteligencia artificial.
Automatisches Beweisverfahren.
Konnektionsmethode.
Electronic books.
Online Access:Connect to the full text of this electronic book
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 B38 1998
 
Call Number Status Get It
QA76.9.A96 B38 1998 Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...