Channels :: Library Catalog

Skip to content

Welcome to University of UNSW, Bengaluru

Home
- 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
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол
- Māori
Sign In

מתקדם

Channels

Search for more channels:

נושא: 3/2-institutions

נושא: abstract model theory
נושא: algebraic specification
נושא: artificial neural network
נושא: categorical model theory
נושא: category theory
נושא: concurrent game structure
נושא: description logic
נושא: diagram predicate framework
נושא: first-order logic
נושא: graph conditions
נושא: graph constraints
נושא: institution
נושא: institution theory
נושא: linear dynamic logic
נושא: logic mining
נושא: many-valued truth institutions
נושא: model checking
נושא: model theory
נושא: sketch
נושא: strategic logics
נושא: stratified institutions
נושא: supervised learning
נושא: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and inform...
נושא: thema EDItEUR::P Mathematics and Science
נושא: ω-regular properties
נושא: ℒ-institutions

Show items as search results
Explore related channels

Quick Look
Logic and Computation

נושא: Hopfield neural network

נושא: abstract model theory
נושא: algebraic specification
נושא: artificial neural network
נושא: categorical model theory
נושא: category theory
נושא: concurrent game structure
נושא: description logic
נושא: diagram predicate framework
נושא: first-order logic
נושא: graph conditions
נושא: graph constraints
נושא: institution
נושא: institution theory
נושא: linear dynamic logic
נושא: logic mining
נושא: many-valued truth institutions
נושא: model checking
נושא: model theory
נושא: sketch
נושא: strategic logics
נושא: stratified institutions
נושא: supervised learning
נושא: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and inform...
נושא: thema EDItEUR::P Mathematics and Science
נושא: ω-regular properties
נושא: ℒ-institutions

Show items as search results
Explore related channels

Quick Look
Logic and Computation

פריטים דומים: Logic and Computation

צפיה ברשומה
Explore related channels

Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Deductive Systems in Traditional and Modern Logic
Quick Look
The Development of Political Institutions
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Understanding Values Work
Quick Look
The Resonant Brain
Quick Look
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Quick Look
Tableau Methods for Propositional Logic and Term Logic
Quick Look
Type-Logical Syntax
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Logics
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Inquisitive Logic
Quick Look
Computer Aided Verification
Quick Look
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Quick Look
Sheaf Theory through Examples
Quick Look
Bulletin of the Section of Logic
Quick Look
Automated Reasoning
Quick Look
Automated Reasoning
Quick Look
Chapter A structural equation model to measure logical competences
Quick Look
Chapter Measuring logical competences and soft skills when enrolling in a university degree course
Quick Look
Soft Computing Letters

אפשרויות חיפוש

חיפושים קודמים
חיפוש מתקדם

מצא עוד

דפדוף בקטלוג
דפדוף בסדר אלפבתי
Explore Channels