> Details

Fermüller, Christian G. [Editor]; Voronkov, Andrei [Other] ; LPAR 17 2010 Yogyakarta

Logic for programming, artificial intelligence, and reasoning

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Book; Conference Proceedings
  • Title: Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings
  • Contributor: Fermüller, Christian G. [Editor]; Voronkov, Andrei [Other]
  • Event: LPAR
  • Published: Berlin; Heidelberg [u.a.]: Springer, 2010
  • Published in: Lecture notes in computer science ; 6397
  • Extent: XII, 656 S.; graph. Darst
  • Language: English
  • ISBN: 364216241X; 9783642162411
  • Publisher, production or purchase order numbers: Sonstige Nummer: 80023546
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Logische Programmierung
    Programmierlogik
    Inferenz
    Künstliche Intelligenz
  • Origination:
  • Footnote: Literaturangaben

copies

(0)

Departmental Library DrePunct – stack

  • Shelf-mark: R2017 8 1496
  • Item ID: 32890917
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order