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

Libraries Catalog

Advanced
  • Logic for programming, artific...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: LPAR 2004 Montevideo, Uruguay, SpringerLink (Online service)
Other Authors: Baader, Franz, Voronkov, Andrei, 1959-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Lecture notes in computer science ; 3452.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Artificial intelligence > Congresses.
Automatic theorem proving > Congresses.
Logic programming > Congresses.
Intelligence artificielle > Congrès.
Programmation logique > Congrès.
Théorèmes > Démonstration automatique > Congrès.
Démonstration automatique de théorèmes.
Intelligence artificielle.
Programmation logique.
Raisonnement (Informatique)
Electronic books.
Online Access:Connect to the full text of this electronic book
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Cover Image
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published 2005
Call Number: Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (2)
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...