Item Details

Computer Science Logic: 12th International Workshop, CSL '98 : Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : Proceedings

Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
Format
Book
Published
Berlin ; New York : Springer, c1999.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540659226 (softcover : alk. paper)
Description
x, 429 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 1584
Technical Details
  • Access in Virgo Classic

  • LEADER 01274pam a2200349 a 4500
    001 u2929770
    003 SIRSI
    005 19990622130741.0
    007 cr un----------
    008 990415s1999 gw a b 101 0 eng
    010
      
      
    a| 99030760
    020
      
      
    a| 3540659226 (softcover : alk. paper)
    035
      
      
    a| (Sirsi) i3540659226
    035
      
      
    a| (OCoLC)475158804
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA76.9.L63 b| W67 1998
    082
    0
    0
    a| 004/.01/5113 2| 21
    111
    2
      
    a| Workshop on Computer Science Logic n| (12th : d| 1998 : c| Brno, Czech Republic)
    245
    1
    0
    a| Computer science logic : b| 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / c| Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1999.
    300
      
      
    a| x, 429 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 1584
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 14
    650
      
    0
    a| Computer logic v| Congresses.
    700
    1
      
    a| Gottlob, G. q| (Georg)
    700
    1
      
    a| Grandjean, E. q| (Etienne)
    700
    1
      
    a| Seyr, Katrin.
    999
      
      
    a| QA76.9 .L63 W67 1998 w| LC i| X004323402 l| BY-REQUEST m| IVY t| BOOK

Availability

Google Preview

Library Location Map Availability Call Number
Ivy By Request N/A Available