Record:   Prev Next
作者 Williams, James G
書名 Instantiation theory [electronic resource] : on the foundations of automated deduction / J.G. Williams
出版項 Berlin ; New York : Springer-Verlag, 1991
國際標準書號 9783540543336 (paper)
book jacket
說明 viii, 133 p. : ill., digital ; 25 cm
系列 Lecture notes in computer science, 0302-9743 ; 518
附註 Springr LNCS
Host Item Springer eBooks
主題 Automatic theorem proving
Alt Author SpringerLink (Online service)
Record:   Prev Next