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 OR improving) Computer ((programi. OR programa.) OR program.)
Preporučene teme... za Vaše pretraživanje.
Automatic theorem proving 5 Logic programming 4 Artificial intelligence 3
Computer programming 1 Computer programs 1
Možda želite pretražiti i:
theorem » teorem, theories
proving » provinz, providing, province
improving » improvinz, improviding, improvince
Prikazuje se 1 - 5 od 5 za pretraživanje: 'Automatic theorem (proving OR improving) Computer ((programi. OR programa.) OR program.)', Upit obrađen za: 0.24s
Popis  Grid 
Slika naslovnice
Učitavam...
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Slika naslovnice
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR...

Table of contents only
Publisher description
Slika naslovnice
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Restricted to Springer LINK subscribers
Publisher description
Slika naslovnice
Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Publisher description
Slika naslovnice
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR...

Table of contents only
Restricted to SpringerLink subscribers
Publisher description
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
5 Fakultet elektrotehnike i računarstva
Vrsta građe
5 Knjiga
Signatura
4 QA76.63 1 QA76.9.A96
Autor
4 LPAR (Conference) 4 Voronkov, A. (Andreĭ), 1959- 1 Baader, Franz 1 Chlipala, Adam, 1981- 1 Hermann, Miki, 1958- 1 Sutcliffe, Geoff prikaži više ... 1 Vardi, Moshe Y. prikaži manje ...
Jezik
5 engleski
Područje
4 Congresses
Godina izdanja

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...