Passer à la navigation principale Passer à la recherche Passer au contenu principal

Automation of Higher-Order Logic

  • Free University of Berlin

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionChapitreRevue par des pairs

langue originaleAnglais
titreHandbook of the History of Logic
EditeurElsevier B.V.
Pages215-254
Nombre de pages40
EditionC
Les DOIs
étatPublié - 1 janv. 2014

Série de publications

NomHandbook of the History of Logic
nombreC
Volume9
ISSN (imprimé)1874-5857

Contient cette citation