Showing 1 - 20
of 352
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
Institution
Format
Subject
Logic, Symbolic and mathematical
63
Computer science
60
Artificial intelligence
37
Software engineering
32
Computer logic
26
Logic
more ...
24
Mathematics
22
Formal languages
21
Computer science Mathematics
19
Automatic theorem proving
17
Formal methods (Computer science)
16
Mathematics Philosophy
16
Programming languages (Electronic computers)
15
Algorithms
12
Database management
10
Computer programming
10
Language and logic
9
Electronic data processing
9
Lattice theory
9
Set theory
8
Computer software Verification
8
Information theory
8
Uncertainty (Information theory)
7
Algebra
7
Data mining
7
Reasoning
6
Artificial intelligence Mathematical models
6
Computer simulation
6
Computers
5
Computer networks
see all ...
less ...
Author
182
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
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
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
Dalen, D. van 1932-
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
Literary Form
Era
Call Number
Year of Publication