Showing 1 - 20
of 133
for search: '"Logic, Symbolic and mathematical Congresses."',
query time: 0.40s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Format
Subject
133
Logic, Symbolic and mathematical
22
Artificial intelligence
22
Computer science
15
Automatic theorem proving
14
Computer logic
11
Software engineering
more ...
9
Computer science Mathematics
8
Formal methods (Computer science)
8
Language and logic
8
Logic
6
Algorithms
6
Lattice theory
5
Information theory
5
Mathematics
5
Reasoning
5
Science Philosophy
5
Uncertainty (Information theory)
4
Artificial intelligence Mathematical models
4
Computers, Special purpose
4
Mathematics Philosophy
3
Algebra Data processing
3
Comprehension (Theory of knowledge)
3
Computer programming
3
Database management
3
Formal languages
3
Knowledge management
3
Knowledge, Theory of
3
Mathematical analysis Data processing
3
Science Methodology
2
Geometry Data processing
see all ...
less ...
Author
95
SpringerLink (Online service)
21
ScienceDirect (Online service)
15
Workshop on Logic, Language, Information and Computation
12
International Conference on Formal Concept Analysis
10
FroCoS (Symposium)
10
Logic Colloquium
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)
6
SpringerLink (Online Service)
4
AISC (Conference)
4
IMBSA (Symposium)
4
International Congress of Logic, Methodology, and Philosophy of Science
4
Wang, Dongming, 1961-
3
Association for Symbolic Logic
3
Herzig, Andreas, 1949-
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
RuleML+RR (Joint Conference)
3
Suppes, Patrick, 1922-2014
2
Artemov, S. N.
2
Bozzano, Marco,
2
Calculemus (Symposium)
2
Calmet, Jacques,
2
Cellier, Peggy,
2
Crossley, John N.
see all ...
less ...
Language
Genre
Literary Form
Region
Year of Publication