> Details

Meyden, Ron van der [Editor]; Smaus, Jan-Georg [Other] ; MoChArt 6 2010 Atlanta, Ga

Model checking and artificial intelligence

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: Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers
  • Contributor: Meyden, Ron van der [Hrsg.]; Smaus, Jan-Georg [Other]
  • Event: MoChArt
  • imprint: Berlin; Heidelberg [u.a.]: Springer, 2011
  • Published in: Lecture notes in computer science ; 6572
  • Extent: VII, 129 S.; graph. Darst; 235 mm x 155 mm
  • Language: English
  • ISBN: 3642206735; 9783642206733
  • Publisher, production or purchase order numbers: Sonstige Nummer: 80061627
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Künstliche Intelligenz > Model Checking
  • Origination:
  • Footnote: Literaturangaben

copies

(0)

Departmental Library DrePunct – stack

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