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: "Logic"
Preporučene teme... za Vaše pretraživanje.
Logic, Symbolic and mathematical 34 Logic programming 25 Automatic theorem proving 18
Congresses 17 Artificial intelligence 16 Logic 14
prikaži više ...
Data processing 11 Knowledge representation (Information theory) 11 Conceptual structures (Information theory) 10
Graph theory 10 Logic design 10 Logic diagrams 10
Computer logic 9 Natural language processing (Computer science) 8 Fuzzy logic 6
Constraint programming (Computer science) 5 Formal languages 5 Geometry 5
Information theory 5 Logic circuits 5 Comprehension (Theory of knowledge) 4
Digital electronics 4 Integrated circuits 4 Lattice theory 4
Mathematical models 4 Nonmonotonic reasoning 4 Computer science 3
Computer-aided design 3 Design and construction 3 Fuzzy systems 3
prikaži manje ...
Prikazuje se 1 - 20 od 124 za pretraživanje: '"Logic"', Upit obrađen za: 0.08s
Popis  Grid 
Slika naslovnice
Učitavam...
Understanding arguments : an introduction to informal logic
Slika naslovnice
Učitavam...
Informal logic
Slika naslovnice
Učitavam...
Logic in computer science : modelling and reasoning about systems
Slika naslovnice
Učitavam...
International logic review = Rassegna internazionale di logica
Slika naslovnice
Učitavam...
Analele Universității C.I. Parhon. Seria acta logica
Slika naslovnice
Učitavam...
Introduction to logic
Slika naslovnice
Učitavam...
The methods of contemporary thought
Slika naslovnice
Učitavam...
Philosophy of logic
Slika naslovnice
Učitavam...
The art of making sense : a guide to logical thinking
Slika naslovnice
Logic in computer science : modelling and reasoning about systems

Publisher description
Table of contents
Slika naslovnice
Učitavam...
Logic and contemporary rhetoric : the use of reason in everyday life
Slika naslovnice
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings

Publisher description
Slika naslovnice
Foundations of inductive logic programming

Publisher description
Slika naslovnice
Učitavam...
Revue roumaine des sciences sociales. Série de philosophie et logique
Slika naslovnice
Učitavam...
Analele Universității București. Seria acta logica
Slika naslovnice
Učitavam...
Logical design of automation systems
Slika naslovnice
Učitavam...
Introduction to the foundations of mathematics
Slika naslovnice
Učitavam...
Interpretation : a general theory
Slika naslovnice
Učitavam...
Advancement of learning and Novum organum
Slika naslovnice
Computational intelligence : engineering of hybrid systems

Publisher description
Table of contents only
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • Slijedeća »
  • [7]
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
103 Fakultet elektrotehnike i računarstva 12 Biblijski institut 8 Filozofski fakultet u Zagrebu 1 Nacionalna i sveučilišna knjižnica u Zagrebu
Knjižnica
1 HMNTS
Vrsta građe
120 Knjiga 2 Serijska građa 2 Časopis
Signatura
18 QA76.63 10 Q387.2 8 Q334 8 QA76.9.A96 6 QA76.9.L63 5 QA448.D38 prikaži više ... 5 QA76.612 4 QA171.5 4 QA267.3 4 TK7888.4 2 BC108 2 QA75.5 2 QA76.76.I58 2 QA9 2 TK7868.D5 1 B1155.F00 1 B1190 1 BC135 1 BC175 1 BC199.Q4 1 BC50 1 BC51 1 BC71 1 BF442 1 MLCM 2006/40849 (Q) 1 P98 1 P98.5.L63 1 Q342 1 Q387 1 QA1 prikaži manje ...
Autor
9 International Conference on Conceptual Structures 8 ILP (Conference) 5 International Workshop on Automated Deduction in Geometry 4 Dix, J. (Jürgen), 1961- 4 Ganter, Bernhard 4 International Colloquium on Grammatical Inference prikaži više ... 4 LPAR (Conference) 4 Pereira, Luís Moniz 4 Voronkov, A. (Andreĭ), 1959- 4 Wang, Dongming 3 CoLogNET 3 European Research Consortium for Informatics and Mathematics 3 International Conference on Automated Deduction 3 Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming 3 Leite, João Alexandre 3 Przymusinski, Teodor C., 1947- 2 Alferes, José Júlio 2 Baader, Franz 2 Bacon, Francis, 1561-1626 2 Brown, Stephen D. 2 CLIMA (Conference) 2 Calmet, Jacques 2 Copi, Irving M. 2 Eklund, Peter W., 1962- 2 Ellis, Gerard 2 Huth, Michael, 1962- 2 International Conference on Formal Concept Analysis 2 International Workshop on Deontic Logic in Computer Science 2 Petrosino, Alfredo 2 Ralescu, Anca L., 1949- prikaži manje ...
Jezik
118 engleski 3 francuski 3 njemački 3 ruski 1 hrvatski 1 višejezično prikaži više ... 1 turski prikaži manje ...
Područje
52 Congresses 4 Periodicals 2 Congrès 1 Priručnici 1 Périodiques 1 Textbooks
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...