Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague
View Other Search Results
Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Arama Sonuçlarını Sınırlandır
Daraltılmış: