Item Details

Print View

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Format
Book
Published
Berlin ; New York : Springer, 2004.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540221522 (pbk.)
Description
viii, 538 p. : ill. ; 24 cm.
Notes
Includes bibliographicalr references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 3049
Lecture notes in computer science. State-of-the-art survey
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01152nam a2200325Ia 4500
    001 u4068410
    003 SIRSI
    005 20040915072203.0
    007 cr un---------
    008 040702s2004 gw a b 101 0 eng d
    020
      
      
    a| 3540221522 (pbk.)
    035
      
      
    a| (Sirsi) o55807927
    035
      
      
    a| (OCoLC)55807927
    040
      
      
    a| YUS c| YUS d| OHX d| CGU d| C$Q
    042
      
      
    a| pcc
    072
      
    7
    a| QA 2| lcco
    090
      
      
    a| QA76.9.L63 b| P76 2004
    245
    0
    0
    a| Program development in computational logic : b| a decade of research advances in logic-based program development / c| Maurice Bruynooghe, Kung-Kiu Lau (eds.).
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| 2004.
    300
      
      
    a| viii, 538 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 3049
    440
      
    0
    a| Lecture notes in computer science. p| State-of-the-art survey
    504
      
      
    a| Includes bibliographicalr references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Logic programming.
    650
      
    0
    a| Computer logic.
    700
    1
      
    a| Bruynooghe, M. q| (Maurice)
    700
    1
      
    a| Lau, K.-K. q| (Kung-Kiu), d| 1953-
    999
      
      
    a| QA76.9 .L63 P76 2004 w| LC i| X004806360 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