Franklin

Staff View

LEADER 02296cam a2200457 a 4500
005 20220608125415.0
008 970925t19971997gw a b 101 0 eng
001 9922161663503681
010
  
  
a| 97020663
020
  
  
a| 3540631046
035
  
  
a| (OCoLC)ocm37011266
035
  
  
a| (OCoLC)37011266
035
  
  
a| CUBGGLAD117960800-B
035
  
  
a| 2216166
035
  
  
a| (PU)2216166-penndb-Voyager
040
  
  
a| DLC b| eng c| DLC d| *C#P* d| CU d| CStRLIN d| PU
050
0
4
a| QA76.9.A96 b| I57 1997
111
2
  
a| International Conference on Automated Deduction n| (14th : d| 1997 : c| Townsville, North Queensland, Australia)
245
1
0
a| Automated deduction - CADE-14 : b| 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / c| William McCune, (ed.).
246
1
8
a| CADE-14 : Automated deduction
264
  
1
a| Berlin ; a| New York : b| Springer, c| [1997]
264
  
4
c| ©1997
300
  
  
a| xiv, 462 pages : b| illustrations ; c| 24 cm.
336
  
  
a| text b| txt 2| rdacontent
337
  
  
a| unmediated b| n 2| rdamedia
338
  
  
a| volume b| nc 2| rdacarrier
490
1
  
a| Lecture notes in computer science ; v| 1249. a| Lecture notes in artificial intelligence
504
  
  
a| Includes bibliographical references and index.
650
  
0
a| Automatic theorem proving v| Congresses. 0| http://id.loc.gov/authorities/subjects/sh2007101477
650
  
7
a| Automatic theorem proving. 2| fast 0| http://id.worldcat.org/fast/822777
650
  
0
a| Logic, Symbolic and mathematical v| Congresses. 0| http://id.loc.gov/authorities/subjects/sh2008107112
650
  
7
a| Logic, Symbolic and mathematical. 2| fast 0| http://id.worldcat.org/fast/1002068
655
  
7
a| Conference papers and proceedings. 2| lcgft 0| http://id.loc.gov/authorities/genreForms/gf2014026068
655
  
7
a| Conference papers and proceedings. 2| fast 0| http://id.worldcat.org/fast/1423772
700
1
  
a| McCune, W. q| (William) 0| http://id.loc.gov/authorities/names/n96064099
830
  
0
a| Lecture notes in computer science ; v| 1249. 0| http://id.loc.gov/authorities/names/n42015162
830
  
0
a| Lecture notes in computer science. p| Lecture notes in artificial intelligence 0| http://id.loc.gov/authorities/names/n86736436
902
  
  
a| MARCIVE 2022
950
  
  
a| QA76.9.A96 b| I57 1997
998
  
  
s| 9115
999
  
  
a| f b| 1999/07/26