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
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Channels
Logic and Computation
Search for more channels:
Similar Items: Logic and Computation
Channel Options
View Record
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
Load more items
Topic: strategic abilities
Add more channels like this
Toggle additional channel list for Topic: strategic abilities
Topic: linear dynamic logic
Topic: strategic logics
Topic: model checking
Topic: concurrent game structure
Topic: supervised learning
Topic: Hopfield neural network
Topic: logic mining
Topic: artificial neural network
Topic: first-order logic
Topic: abstract model theory
Topic: institution
Topic: sketch
Topic: algebraic specification
Topic: description logic
Topic: graph conditions
Topic: graph constraints
Topic: diagram predicate framework
Topic: institution theory
Topic: category theory
Topic: stratified institutions
Topic: 3/2-institutions
Topic: categorical model theory
Topic: model theory
Topic: many-valued truth institutions
Topic: ℒ-institutions
Topic: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and infor...
Topic: thema EDItEUR::P Mathematics and Science
Channel Options
Show items as search results
Explore related channels
Quick Look
Logic and Computation
Load more items
Topic: ω-regular properties
Add more channels like this
Toggle additional channel list for Topic: ω-regular properties
Topic: linear dynamic logic
Topic: strategic logics
Topic: model checking
Topic: concurrent game structure
Topic: supervised learning
Topic: Hopfield neural network
Topic: logic mining
Topic: artificial neural network
Topic: first-order logic
Topic: abstract model theory
Topic: institution
Topic: sketch
Topic: algebraic specification
Topic: description logic
Topic: graph conditions
Topic: graph constraints
Topic: diagram predicate framework
Topic: institution theory
Topic: category theory
Topic: stratified institutions
Topic: 3/2-institutions
Topic: categorical model theory
Topic: model theory
Topic: many-valued truth institutions
Topic: ℒ-institutions
Topic: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and infor...
Topic: thema EDItEUR::P Mathematics and Science
Channel Options
Show items as search results
Explore related channels
Quick Look
Logic and Computation
Load more items
View Record
Prev
Explore related channels
Next
