[Progress in Computer Science and Applied Logic] Advances...

  • Main
  • [Progress in Computer Science and...

[Progress in Computer Science and Applied Logic] Advances in Proof Theory Volume 28 || Machine-Checked Proof-Theory for Propositional Modal Logics

Kahle, Reinhard, Strahm, Thomas, Studer, Thomas
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
10.1007/97
Année:
2016
Langue:
english
DOI:
10.1007/978-3-319-29198-7_5
Fichier:
PDF, 792 KB
english, 2016
La conversion en est effectuée
La conversion en a échoué