Showing 1 - 20
of 280
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
66
Computer science
59
Artificial intelligence
38
Software engineering
33
Computer logic
28
Formal languages
more ...
27
Logic
26
Mathematics
20
Computer science Mathematics
17
Formal methods (Computer science)
17
Programming languages (Electronic computers)
16
Automatic theorem proving
14
Algorithms
14
Mathematics Philosophy
12
Database management
10
Computer programming
9
Computer software Verification
9
Electronic data processing
9
Language and logic
9
Lattice theory
8
Information theory
8
Philosophy
8
Uncertainty (Information theory)
7
Algebra
7
Data mining
6
Artificial intelligence Mathematical models
6
Computer simulation
6
Computers
6
Reasoning
5
Computer networks
see all ...
less ...
Author
SpringerLink (Online service)
15
Workshop on Logic, Language, Information and Computation
12
International Conference on Formal Concept Analysis
10
FroCoS (Symposium)
9
International Conference on Automated Deduction
9
JELIA (Conference)
more ...
8
Queiroz, Ruy J. G. B. de
8
Queiroz, Ruy J. G. B. de,
6
ICLA (Conference : Logic)
5
Gabbay, Dov M., 1945-
4
AISC (Conference)
4
Herzig, Andreas, 1949-
4
IMBSA (Symposium)
4
Wang, Dongming, 1961-
3
Béziau, Jean-Yves
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
Li, Wei, 1943 June-
3
Rudolph, Sebastian (Computer scientist)
3
RuleML+RR (Joint Conference)
3
Wansing, H.
2
Akama, Seiki,
2
Artemov, S. N.
2
Benthem, Johan van, 1949-
2
Bozzano, Marco,
2
Buchsbaum, Arthur,
2
Béziau, Jean-Yves,
2
Calculemus (Symposium)
see all ...
less ...
Language
Genre
Literary Form
Era
Region
Call Number
Year of Publication