An industrial strength theorem prover for a logic based on Common Lisp

Por: Analíticas: Mostrar analíticasTipo de contenido:
  • texto
Tipo de medio:
  • sin mediación
Tipo de soporte:
  • volumen
Tema(s): En: IEEE Transactions on Software Engineering (vol. 23, nro. 4, Apr. 1997), p. 203-259S.T.:H004.41 SOF PP3152
Valoración
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

No hay comentarios en este titulo.

para colocar un comentario.