Item Details

Print View

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : Selected Papers

Hans Kleine Büning, (ed.)
Format
Book
Published
Berlin ; New York : Springer, c1996.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540613773 (softcover : alk. paper)
Description
viii, 485 p. : ill. ; 24 cm.
Notes
  • CSL'95 was the fourth to be held as the Annual Conference of the EACSL.
  • Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 1092
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01539pam a2200397 a 4500
    001 u2642031
    003 SIRSI
    005 19960903101520.6
    008 960521s1996 gw a b 101 0 eng
    010
      
      
    a| 96023718
    020
      
      
    a| 3540613773 (softcover : alk. paper)
    035
      
      
    a| (Sirsi) l96023718
    035
      
      
    a| (Sirsi) l96023718
    035
      
      
    a| (OCoLC)34788224
    040
      
      
    a| DLC c| DLC d| DLC
    049
      
      
    a| VA@S b| X004049017
    050
    0
    0
    a| QA75.5 b| .W625 1995
    082
    0
    0
    a| 004/.01/5113 2| 20
    111
    2
      
    a| Workshop on Computer Science Logic n| (9th : d| 1995 : c| Paderborn, Germany)
    245
    1
    0
    a| Computer science logic : b| 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / c| Hans Kleine Büning, (ed.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c1996.
    300
      
      
    a| viii, 485 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science v| 1092
    500
      
      
    a| CSL'95 was the fourth to be held as the Annual Conference of the EACSL.
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 14
    650
      
    0
    a| Computer science v| Congresses.
    650
      
    0
    a| Logic, Symbolic and mathematical v| Congresses.
    700
    1
      
    a| Kleine Büning, H. q| (Hans)
    710
    2
      
    a| European Association for Computer Science Logic. b| Conference n| (4th : d| 1995 : c| Paderborn, Germany)
    999
      
      
    a| QA75.5 .W625 1995 w| LC i| X004049017 l| BY-REQUEST m| IVY t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Ivy Stacks N/A Available