Showing 1 - 20
of 431
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Institution: Colorado Mesa University
Literary Form: Non fiction
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
66
Computer science
63
Artificial intelligence
38
Software engineering
33
Computer logic
30
Mathematics
more ...
29
Formal languages
29
Logic
26
Mathematics Philosophy
23
Computer science Mathematics
20
Set theory
19
Automatic theorem proving
17
Formal methods (Computer science)
17
Programming languages (Electronic computers)
15
Algorithms
12
Database management
11
Computer programming
10
Language and logic
9
Computer software Verification
9
Electronic data processing
9
Lattice theory
9
Philosophy
8
Information theory
8
Proof theory
8
Uncertainty (Information theory)
7
Algebra
7
Data mining
7
Reasoning
6
Artificial intelligence Mathematical models
6
Computable functions
see all ...
less ...
Author
280
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
10
FroCoS (Symposium)
more ...
9
International Conference on Automated Deduction
9
JELIA (Conference)
8
Queiroz, Ruy J. G. B. de
8
Queiroz, Ruy J. G. B. de,
6
Gabbay, Dov M., 1945-
6
ICLA (Conference : Logic)
5
Benthem, Johan van, 1949-
4
AISC (Conference)
4
Association for Symbolic Logic
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
3
Li, Wei, 1943 June-
see all ...
less ...
Language
Genre
179
Conference papers and proceedings
17
Festschriften
8
Software
6
Dictionaries
2
Bibliographies
2
Congresses
more ...
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