Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Strassen, Tyko."'
Autor:
Strassen, Tyko.
Publikováno v:
Solange vorrätig, können Sie diese Dissertation kaufen (für Bibliotheken evtl. auch Tauschexemplare erhältlich), hier anklicken.
Diss. Naturwiss. Bern (kein Austausch).
Literaturverz.
Literaturverz.
Externí odkaz:
http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html
Autor:
Straßen, Tyko
Publikováno v:
Annals of Mathematics and Artificial Intelligence; December 1994, Vol. 12 Issue: 3-4 p291-321, 31p
Autor:
Sergei Artemov, Melvin Fitting
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and t
