\(\newenvironment{bprooftree}{\begin{prooftree}}{\end{prooftree}}\)

Posts tagged "lecture-notes":

Teorija programskih jezikov (Pretnar)

17 Mar 2026

Razlika med tem kako je jezik implementiran in kako je standardiziran.

(...)
Tags: lecture-notes

Računska zahtevnost (Cabello)

17 Mar 2026

Warning: The notes are not optimized for HTML (yet). Without warranty.

(...)
Tags: lecture-notes

Kardinalna aritmetika (Simpson)

17 Mar 2026

Warning: The notes are not optimized for HTML (yet). Without warranty.

(...)
Tags: lecture-notes

Logika v računalništvu (Simpson)

17 Mar 2026

Warning: The notes are not optimized for HTML (yet). Without warranty.

(...)
Tags: lecture-notes
Other posts