International conference on theorem proving in higher order logics

Autre forme du nom :TPHOLs

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Theorem proving in higher order logics, cop. 1998
  • LCNA (en ligne - Internet), 1999-06-01

Autre forme du nom

  • TPHOLs

Pages équivalentes