The automation of reasoning : an experimenter's notebook with OTTER tutorial


Larry Wos
Bok Engelsk 1996
Utgitt
San Diego : Academic Press , c1996
Omfang
XIV, 434 s. + 1 diskett (9 cm)
Emner
ISBN
0127634207

Bibliotek som har denne