Si tienes PHP 5.3 o superior puedes hacer:
Código PHP:
Ver original<?php
$dt = DateTime::createFromFormat('M d Y g:i:s:uA', 'Nov 10 2013 10:00:00:000AM');
echo $dt->format('h:i A'); //10:00 AM
También sirve (puedes tener problemas con fechas mayores al año 2038):
También puedes usar funciones de cadenas (explode por ejemplo) o expresiones regulares, pero para que reinventar la rueda.
Saludos.