UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics (17) 17
science & technology (14) 14
physical sciences (13) 13
boolean valued model (10) 10
mathematics, general (9) 9
logic (8) 8
boolean algebra (7) 7
algebra (6) 6
boolean algebras (6) 6
boolean data (6) 6
boolean-valued model (6) 6
boolean-valued models (6) 6
mathematical theorems (6) 6
science & technology - other topics (6) 6
boolean-valued networks (5) 5
model theory (5) 5
set theory (5) 5
boolean valued analysis (4) 4
boolean valued models (4) 4
computer science (4) 4
forcing (4) 4
fuzzy model (4) 4
mathematical models (4) 4
mathematics, applied (4) 4
network security (4) 4
vector lattice (4) 4
arts & humanities (3) 3
ascent (3) 3
continuum hypothesis (3) 3
descent (3) 3
fuzzy logic (3) 3
injective banach lattice (3) 3
linear programming (3) 3
logical theorems (3) 3
mathematical analysis (3) 3
mathematical logic and foundations (3) 3
mathematical topoi (3) 3
mathematics - logic (3) 3
philosophy (3) 3
random variables (3) 3
routing (3) 3
routing protocols (3) 3
security (3) 3
al-space (2) 2
automorphisms (2) 2
axiom of choice (2) 2
boolean value (2) 2
computer science, theory & methods (2) 2
convex body (2) 2
curvature (2) 2
dedekind complete vector lattice (2) 2
denotational semantics (2) 2
direct products (2) 2
fuzzy (2) 2
graph theory (2) 2
heuristic algorithms (2) 2
inequalities (2) 2
lattice (2) 2
lattices (2) 2
logic in computer science (2) 2
m -projection (2) 2
m-projection (2) 2
maharam operator (2) 2
mathematical functions (2) 2
mathematical set theory (2) 2
maximum flow (2) 2
measurement (2) 2
minkowski problem (2) 2
morphisms (2) 2
network topology (2) 2
optimal planning (2) 2
precedent model (2) 2
quality of service (2) 2
quantum physics (2) 2
quasiidentities (2) 2
statistics & probability (2) 2
stochastic λ-calculus (2) 2
studies (2) 2
technology (2) 2
topology (2) 2
truth values (2) 2
03-06 (1) 1
03c95 (1) 1
03e40 (1) 1
03e57 (1) 1
03h99 (1) 1
abandoned (1) 1
ad hoc networks (1) 1
aggregates (1) 1
al -space (1) 1
al p -space (1) 1
algebra, boolean (1) 1
algebraic logic (1) 1
algorithmic graph theory (1) 1
algorithms (1) 1
alternative theorem (1) 1
am-space (1) 1
applied sciences (1) 1
associative rule (1) 1
axiomatic set theory (1) 1
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2005, 3RD ED., OXFORD LOGIC GUIDES; 47. SER: OXFORD SCIENCE PUBLICATIONS., ISBN 9780198568520, Volume 47, 214
Book
Commentationes mathematicae Universitatis Carolinae, ISSN 0010-2628, 2017, Volume 58, Issue 3, pp. 347 - 358
Journal Article
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 10/2019, pp. 0868 - 0871
Conference Proceeding
2019 International Conference on Information Science and Communications Technologies (ICISCT), 11/2019, pp. 1 - 5
Conference Proceeding
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 10/2019, pp. 0961 - 0966
Conference Proceeding
Zagadnienia Filozoficzne w Nauce, ISSN 0867-8286, 12/2017, Volume 63, pp. 101 - 111
Journal Article
Conference Proceeding
Proceedings - Symposium on Logic in Computer Science, ISSN 1043-6871, 07/2018, pp. 669 - 678
Conference Proceeding
Siberian advances in mathematics, ISSN 1055-1344, 6/2007, Volume 17, Issue 2, pp. 91 - 111
Journal Article
Proceedings of the 9th ACM SIGPLAN International Conference on certified programs and proofs, 01/2020, pp. 353 - 366
Conference Proceeding
Proceedings of the 33rd Annual ACM/IEEE Symposium on logic in computer science, 07/2018, pp. 669 - 678
Conference Proceeding
Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, 2009, pp. 222 - 239
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.