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: "Computer logic"
Preporučene teme... za Vaše pretraživanje.
Computer logic 9 Automatic theorem proving 2 Calculus 1
Computer programming 1 Distributed artificial intelligence 1 Formal methods (Computer science) 1
prikaži više ...
Intelligent agents (Computer software) 1 Logic programming 1 System design 1
prikaži manje ...
Prikazuje se 1 - 9 od 9 za pretraživanje: '"Computer logic"', Upit obrađen za: 0.06s
Popis  Grid 
Slika naslovnice
Logic in computer science : modelling and reasoning about systems
Autor: Huth, Michael, 1962-
Impresum 2000
Predmet: '; “...Computer logic...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Table of contents
Knjiga
Preview
Preview
Preview
Slika naslovnice
Logic in computer science : modelling and reasoning about systems
Autor: Huth, Michael, 1962-
Impresum 2004
Predmet: '; “...Computer logic...”
Izdanje: 2nd ed
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale...
Impresum 2004
Predmet: '; “...Computer logic Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings
Impresum 2000
Predmet: '; “...Computer logic Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Refinement calculus : a systematic introduction
Autor: Back, Ralph-Johan
Impresum 1998
Predmet: '; “...Computer logic...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Table of contents only
Knjiga
Preview
Preview
Preview
Slika naslovnice
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Impresum 2006
Predmet: '; “...Computer logic Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
Impresum 2004
Predmet: '; “...Computer logic Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Challenges for action theories
Autor: Thielscher, Michael
Impresum 2000
Predmet: '; “...Computer logic...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Publisher description
Knjiga
Preview
Preview
Preview
Slika naslovnice
Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers
Impresum 2005
Predmet: '; “...Computer logic Congresses...”
Lokacija:
  • Fakultet elektrotehnike i računarstva
Table of contents
Restricted to SpringerLink subscribers
Publisher description
Knjiga
Preview
Preview
Preview
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
9 Fakultet elektrotehnike i računarstva
Vrsta građe
9 Knjiga
Signatura
6 QA76.9.L63 2 QA76.9.A96 1 QA76.6
Autor
2 CLIMA (Conference) 2 Huth, Michael, 1962- 2 Leite, João Alexandre 2 Ryan, Mark, 1962- 1 Back, Ralph-Johan 1 Basin, David prikaži više ... 1 CL 2000 1 Dix, J. (Jürgen), 1961- 1 Furbach, Ulrich 1 IJCAR 2004 1 IJCAR 2006 1 Lloyd, J. W. (John Wylie), 1947- 1 Rusinowitsch, Michaël 1 Shankar, N. 1 Thielscher, Michael 1 Torroni, Paolo 1 Wright, J. von (Joakim), 1955- prikaži manje ...
Jezik
9 engleski
Područje
5 Congresses
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...