Item Details

Print View

Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; Revised Selected Papers

Maurice Bruynooghe (ed.)
Format
Book
Published
Berlin ; New York : Springer, c2004.
Language
English
Variant Title
LOPSTR 2003
Series
Lecture Notes in Computer Science
ISBN
3540221743 (pbk.)
Description
x, 232 p. : fig., tab. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 3018
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01100nam a2200301Ia 4500
    001 u4068407
    003 SIRSI
    005 20040915072123.0
    007 cr un----------
    008 040702s2004 gw a b 101 0 eng d
    020
      
      
    a| 3540221743 (pbk.)
    035
      
      
    a| (Sirsi) o55807916
    035
      
      
    a| (OCoLC)55807916
    040
      
      
    a| OHX c| OHX d| OSU
    072
      
    7
    a| QA 2| lcco
    090
      
      
    a| QA76.63 b| .L69 2003
    111
    2
      
    a| LOPSTR 2003 n| (13th : d| 2003 : c| Uppsala, Sweden)
    245
    1
    0
    a| Logic based program synthesis and transformation : b| 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers / c| Maurice Bruynooghe (ed.).
    246
    3
    0
    a| LOPSTR 2003
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c2004.
    300
      
      
    a| x, 232 p. : b| fig., tab. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 3018
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Logic programming v| Congresses.
    700
    1
      
    a| Bruynooghe, M. q| (Maurice)
    999
      
      
    a| QA76.63 .L69 2003 w| LC i| X004806433 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available