名古屋大学附属図書館




1

Symbolic logic and intelligent machines

Edmund C. Berkeley. -- Reinhold, c1959.