Showing 1 - 20
of 257
for search: '',
query time: 0.61s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Call Number: Q - Science
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
61
Computer science
56
Artificial intelligence
38
Software engineering
33
Computer logic
27
Formal languages
more ...
23
Mathematics
22
Logic
20
Computer science Mathematics
17
Formal methods (Computer science)
17
Programming languages (Electronic computers)
16
Automatic theorem proving
14
Algorithms
10
Computer programming
10
Database management
10
Mathematics Philosophy
9
Computer software Verification
9
Lattice theory
8
Information theory
8
Language and logic
8
Uncertainty (Information theory)
7
Algebra
7
Electronic data processing
6
Artificial intelligence Mathematical models
6
Computer simulation
6
Computers
6
Data mining
6
Reasoning
5
Computer networks
5
Computers, Special purpose
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)
2
Akama, Seiki,
2
Artemov, S. N.
2
Bozzano, Marco,
2
Buchsbaum, Arthur,
2
Béziau, Jean-Yves,
2
Calculemus (Symposium)
2
Calmet, Jacques,
2
Castillo Morales, Encarnación,
see all ...
less ...
Language
Genre
Literary Form
Era
Region
Call Number
Year of Publication