Stefania Centrone

Orcid: 0000-0002-2649-8543

According to our database1, Stefania Centrone authored at least 5 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Machine Translation: Early Criticisms Revisited.
Proceedings of the 2024 Conference on Human Centred Artificial Intelligence, 2024

2023
Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
WorldScientific, ISBN: 9789811268557, 2023

2016
Early Bolzano on Ground-Consequence Proofs.
Bull. Symb. Log., 2016

2014
Edgar Morscher, Normenlogik. Grundlagen - Systeme - Anwendungen. Paderborn, Mentis, 2012. 309 pp., ISBN-13: 978-3897857841.
Bull. Symb. Log., 2014

2013
Notes on Mally's deontic logic and the collapse of $${\varvec{Seinsollen}}$$ and $${\varvec{Sein}}$$.
Synth., 2013


  Loading...