Item Details

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : Proceedings

David Basin, Michaël Rusinowitsch (eds.)
Format
Book
Published
Berlin ; New York : Springer, 2004.
Language
English
Variant Title
IJCAR 2004
Series
Lecture Notes in Computer Science
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
ISBN
3540223452
Description
xii, 491 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3097. Lecture notes in artificial intelligence
Lecture notes in computer science 3097
Lecture notes in computer science. Lecture notes in artificial intelligence
Technical Details
  • Access in Virgo Classic

  • LEADER 01430nam a2200373Ia 4500
    001 u4068394
    003 SIRSI
    005 20040914152228.0
    007 cr un---------
    008 040702s2004 gw a b 100 0 eng d
    020
      
      
    a| 3540223452
    035
      
      
    a| (Sirsi) o55808028
    035
      
      
    a| (Sirsi) o55808028
    035
      
      
    a| (OCoLC)55808028
    040
      
      
    a| YUS c| YUS d| OHX d| KKS d| CGU d| OCLCQ d| C$Q d| OCLCQ
    042
      
      
    a| pcc
    050
      
    4
    a| QA76.9.A96 b| I38 2004
    072
      
    7
    a| QA 2| lcco
    111
    2
      
    a| IJCAR (Conference) n| (2nd : d| 2004 : c| Cork, Ireland)
    245
    1
    0
    a| Automated reasoning : b| second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / c| David Basin, Michaël Rusinowitsch (eds.).
    246
    3
    0
    a| IJCAR 2004
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| 2004.
    300
      
      
    a| xii, 491 p. : b| ill. ; c| 24 cm.
    490
    1
      
    a| Lecture notes in computer science, x| 0302-9743 ; v| 3097. Lecture notes in artificial intelligence
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Automatic theorem proving v| Congresses.
    650
      
    0
    a| Computer logic v| Congresses.
    700
    1
      
    a| Basin, David.
    700
    1
      
    a| Rusinowitsch, Michaël.
    830
      
    0
    a| Lecture notes in computer science v| 3097.
    830
      
    0
    a| Lecture notes in computer science. p| Lecture notes in artificial intelligence.
    999
      
      
    a| QA76.9 .A96 I38 2004 w| LC i| X004806413 l| STACKS m| SCI-ENG t| BOOK

Availability

Google Preview

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