Theorem proving in higher order logics  14th international conference, Edinburgh, Scotland UK, September 3 - 6, 2001 ; proceedings 
 TPHOLs 2001 
TPHOLs 2001. Richard J. Boulton ... (ed.) 
 - X, 393 S.  graph. Darst.  24 cm 
 - Lecture notes in computer science  2152 .
 -  215200 .
 - Lecture notes in computer science  2152 .
<br/><br/>Boulton, Richard J.: Theorem Proving in Higher Order Logics 
<br/><br/><label>ISBN: </label>354042525X  brosch. : DM 98.00 
<br/><br/><label>Standard No.: </label>9783540425250 
<br/><br/><label>Nat. Bib. No.: </label>01,N35,0544  dnb 01,A43,0800  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>962139890  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses<br/>Automatic theorem proving--Congresses
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Edinburgh--2001