TY - GEN digital ID - 131150806 TI - Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers AU - Hoos, Holger H. AU - Mitchell, David G. PY - 2005 SN - 9783540315803 PB - Berlin Heidelberg Springer-Verlag GmbH DB - UniCat KW - Mathematical logic KW - Complex analysis KW - Computer architecture. Operating systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - complexe analyse (wiskunde) KW - wiskunde KW - OS (operating system) KW - logica KW - robots KW - numerieke analyse UR - https://www.unicat.be/uniCat?func=search&query=sysid:131150806 AB - ER -