Skip to content
Složeno pretraživanje
  • Jezik
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • Hrvatski
Složeno pretraživanje
  • Pretraživanje: "Automatic theorem proving Computer programs."
Preporučene teme... za Vaše pretraživanje.
Automatic theorem proving 1 Computer programming 1 Computer programs 1
Možda želite pretražiti i:
"Automatic theorem proving Computer programs." » "Automatic teorem proving Computer programs.", "Automatic theories proving Computer programs.", "Automatic theorem provinz Computer programs.", "Automatic theorem improving Computer programs.", "Automatic theorem providing Computer programs.", "Automatic theorem proving Computer program.", "Automatic theorem proving Computer programa.", "Automatic theorem proving Computer programi."
Prikazuje se 1 - 1 od 1 za pretraživanje: '"Automatic theorem proving Computer programs."', Upit obrađen za: 0.05s
Popis  Grid 
Slika naslovnice
Učitavam...
Certified programming with dependent types : a pragmatic introduction to the Coq...
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
1 Fakultet elektrotehnike i računarstva
Vrsta građe
1 Knjiga
Signatura
1 QA76.9.A96
Autor
1 Chlipala, Adam, 1981-
Jezik
1 engleski
Godina izdanja

Učitavam...


Mogućnosti pretraživanja

  • Povijest pretraživanja
  • Složeno pretraživanje

Dodatne mogućnosti pretraživanja

  • Pregledavanje kataloga
  • Pregledavanje po abecedi
  • Nastavni materijali
  • Novi primjerci

Trebate li pomoć?

  • Pomoć za pretraživanje
  • Pitajte knjižničara
  • Prijedlozi i komentari
Hrvatski nacionalni skupni katalog razvijaju Nacionalna i sveučilišna knjižnica u Zagrebu, Sveučilište u Zagrebu, Hrvatsko katoličko sveučilište, Filozofski fakultet Sveučilišta u Zagrebu, Medicinski fakultet Sveučilišta u Zagrebu, Fakultet strojarstva i brodogradnje Sveučilišta u Zagrebu te Sveučilište u Zagrebu Fakultet elektrotehnike i računarstva.
Učitavam...