Showing 1 - 20
of 177
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
Format
Subject
Logic, Symbolic and mathematical
46
Artificial intelligence
45
Computer science
31
Software engineering
26
Computer logic
19
Formal languages
more ...
17
Automatic theorem proving
16
Formal methods (Computer science)
15
Computer science Mathematics
10
Database management
10
Logic
10
Programming languages (Electronic computers)
9
Algorithms
8
Language and logic
7
Computer software Verification
7
Information theory
6
Computer programming
6
Computer simulation
6
Lattice theory
6
Mathematics
6
Uncertainty (Information theory)
5
Artificial intelligence Mathematical models
5
Computers, Special purpose
5
Reasoning
5
Science Philosophy
4
Computer networks
4
Computers
4
Data structures (Computer science)
4
Knowledge management
4
Mathematics Philosophy
see all ...
less ...
Author
134
SpringerLink (Online service)
24
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
ICLA (Conference : Logic)
5
SpringerLink (Online Service)
4
AISC (Conference)
4
Association for Symbolic Logic
4
Herzig, Andreas, 1949-
4
IMBSA (Symposium)
4
International Congress of Logic, Methodology, and Philosophy of Science
4
Wang, Dongming, 1961-
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
Rudolph, Sebastian (Computer scientist)
3
RuleML+RR (Joint Conference)
3
Suppes, Patrick, 1922-2014
2
Artemov, S. N.
2
Bozzano, Marco,
2
Calculemus (Symposium)
2
Calmet, Jacques,
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication