Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings


IJCAR 2006
Bok Engelsk 2006

Detaljer

Bibliotek som har denne