Информация об авторе

Studer T.


Библиография книг автора

Logics of Proofs and Justifications Kuznets R. Studer T.
Logics of Proofs and Justifications
Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc....
Нет в наличии
Relationale Datenbanken. Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL Studer T.
Relationale Datenbanken. Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
Книга "Relationale Datenbanken. Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL". ...
Нет в наличии
Zertifikat B1 – Prüfungsziele, Testbeschreibung. Deutschprüfung für Jugendliche und Erwachsene Glaboniat M. Perlmann-Balme M. Studer T.
Zertifikat B1 – Prüfungsziele, Testbeschreibung. Deutschprüfung für Jugendliche und Erwachsene
Der Band Zertifikat B1 - Prufungsziele, Testbeschreibung ist ein wertvolles Handwerkszeug fur Prufende, Lehrkrafte und Kursorganisatoren sowie fur alle Fachleute im Bereich Sprachlehr- und Sprachlernforschung....
3214 руб.