Showing 1 - 20
of 435
for search: '"Mathematics"',
query time: 0.14s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Institution
Collection
Subject
Logic, Symbolic and mathematical
63
Computer science
62
Artificial intelligence
38
Software engineering
32
Computer logic
28
Mathematics
more ...
27
Logic
26
Mathematics Philosophy
24
Formal languages
23
Computer science Mathematics
20
Set theory
19
Automatic theorem proving
17
Formal methods (Computer science)
16
Programming languages (Electronic computers)
15
Algorithms
12
Database management
11
Computer programming
10
Language and logic
9
Electronic data processing
9
Lattice theory
8
Computer software Verification
8
Information theory
8
Reasoning
8
Uncertainty (Information theory)
7
Algebra
7
Data mining
7
Proof theory
6
Artificial intelligence Mathematical models
6
Computational complexity
6
Computer simulation
see all ...
less ...
Author
183
SpringerLink (Online service)
94
SpringerLink (Online Service)
61
ScienceDirect (Online service)
15
Workshop on Logic, Language, Information and Computation
12
International Conference on Formal Concept Analysis
12
Logic Colloquium
more ...
10
FroCoS (Symposium)
9
International Conference on Automated Deduction
9
JELIA (Conference)
8
Queiroz, Ruy J. G. B. de
8
Queiroz, Ruy J. G. B. de,
6
Association for Symbolic Logic
6
Gabbay, Dov M., 1945-
6
ICLA (Conference : Logic)
5
Benthem, Johan van, 1949-
4
AISC (Conference)
4
Crossley, John N.
4
Dalen, D. van 1932-
4
Herzig, Andreas, 1949-
4
IMBSA (Symposium)
4
International Congress of Logic, Methodology, and Philosophy of Science
4
Wang, Dongming, 1961-
3
Béziau, Jean-Yves
3
Ebbinghaus, Heinz-Dieter, 1939-
3
Gandy, R. O.
3
ITP (Conference)
3
International Colloquium on Grammatical Inference
3
International Conference on Logic and Argumentation
3
International Conference on Logic and Argumentation Hangzhou, China)
3
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
see all ...
less ...
Language
Genre
177
Conference papers and proceedings
17
Festschriften
8
Software
6
Dictionaries
2
Bibliographies
2
Congresses
more ...
2
Periodicals
2
Puzzles and games
2
Sayings
1
Biographies
1
Constitution
1
Formulae
1
Handbooks and manuals
1
Literature
1
Logic puzzles
1
Outlines and syllabi
1
Popular works
1
Textbooks
see all ...
less ...
Literary Form
Era
Call Number
Year of Publication