| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:464248629:1572 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:464248629:1572?format=raw |
LEADER: 01572fam a2200361 a 4500
001 1496914
005 20220602045848.0
008 940607t19941994gw a b 001 0 eng
010 $a 94003449
020 $a354058241X (alk. paper)
035 $a(OCoLC)30667018
035 $a(OCoLC)ocm30667018
035 $9AJD8679CU
035 $a(NNC)1496914
035 $a1496914
040 $aDLC$cDLC$dNNC
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. Ohlbach (eds.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c[1994], ©1994.
263 $a9406
300 $axi, 545 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v827
504 $aIncludes bibliographical references and index.
650 0 $aComputer programming.$0http://id.loc.gov/authorities/subjects/sh85107310
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
700 1 $aGabbay, Dov M.,$d1945-$0http://id.loc.gov/authorities/names/n80153278
700 1 $aOhlbach, Hans Jürgen.$0http://id.loc.gov/authorities/names/n93024644
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v827.$0http://id.loc.gov/authorities/names/n86736436
852 00 $boff,eng$hQA76.6$i.T4414 1994