TY - GEN digital ID - 131153391 TI - The Seventeen Provers of the World : Foreword by Dana S. Scott PY - 2006 SN - 9783540328889 PB - Berlin Heidelberg Springer-Verlag GmbH DB - UniCat KW - Mathematical logic KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - wiskunde KW - software engineering KW - logica KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:131153391 AB - ER -