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:
Preporučene teme... za Vaše pretraživanje.
Computer logic 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: '', Upit obrađen za: 0.03s
Popis  Grid 
Slika naslovnice
Učitavam...
Logic in computer science : modelling and reasoning about systems
Slika naslovnice
Computational logic in multi-agent systems : 4th International Workshop, CLIMA I...

Publisher description
Slika naslovnice
Computational logic in multi-agent systems : 5th international workshop, CLIMA V...

Table of contents
Restricted to SpringerLink subscribers
Publisher description
Slika naslovnice
Učitavam...
Automated reasoning : third international joint conference, IJCAR 2006, Seattle,...
Slika naslovnice
Automated reasoning : second international joint conference, IJCAR 2004, Cork, I...

Publisher description
Slika naslovnice
Computational logic--CL 2000 : First International Conference, London, UK, July...

Publisher description
Slika naslovnice
Challenges for action theories

Publisher description
Slika naslovnice
Refinement calculus : a systematic introduction

Publisher description
Table of contents only
Slika naslovnice
Logic in computer science : modelling and reasoning about systems

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

Ograniči pretraživanje

Ukloni opseg
Preporučene teme: Computer logic
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

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