| Record ID | marc_loc_2016/BooksAll.2016.part23.utf8:117152799:1175 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part23.utf8:117152799:1175?format=raw |
LEADER: 01175cam a2200277 a 4500
001 94003449
003 DLC
005 20130531083733.0
008 940607s1994 gw a b 001 0 eng
010 $a 94003449
020 $a354058241X (acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.T4414 1994
082 00 $a511.3$220
245 00 $aTemporal logic :$bfirst international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /$cDov M. Gabbay, Hans Jürgen Ohlbach (eds.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1994.
300 $axi, 545 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v827. Lecture notes in artificial intelligence
504 $aIncludes bibliiographical references and index.
650 0 $aComputer programming.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aGabbay, Dov M.,$d1945-
700 1 $aOhlbach, Hans Jürgen.
830 0 $aLecture notes in computer science ;$v827.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/94003449-d.html