
por Tom Van Engers · 2001
Sinopsis
Primer volumen de una publicación dedicada a la demostración automatizada en el ámbito jurídico. Revisa el estado del arte y las aplicaciones de la lógica formal y los sistemas expertos para razonar con leyes y decisiones judiciales.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda