The Dynamics of Judicial Proof : Computation, Logic, and Common Sense
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | Maccrimmon, Marilyn (Συνεργάτης), Tillers, Peter (Συνεργάτης) |
|---|---|
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Dynamics of Judicial Proof, Computation, Logic, and Common Sense |
Παρόμοια τεκμήρια
-
Proofs and refutations : the logic of mathematical discovery
(Livre papier)
Lakatos, Imre, 1922-1974
Cambridge University Press, 1976 -
The story of proof : logic and history of mathematics
(Livre numérique)
Stillwell, John, 1942-...., Professeur de mathématiques
Princeton University press, 2022 - Proof Theory of Modal Logic (Livre numérique)
-
Proof theory for Fuzzy logics
(Livre numérique)
Metcalfe, George, 1974-...., mathématicien, κ.ά. -
Termination proofs for logic programs
(Livre numérique)
Plümer, Lutz, 1951-

