Showing 1 - 20
of 379
for search: '',
query time: 0.04s
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
61
Computer science
59
Artificial intelligence
38
Software engineering
33
Computer logic
28
Formal languages
more ...
26
Mathematics
23
Computer science Mathematics
22
Mathematics Philosophy
19
Automatic theorem proving
17
Formal methods (Computer science)
17
Programming languages (Electronic computers)
17
Set theory
16
Logic
15
Algorithms
11
Computer programming
10
Database management
9
Computer software Verification
9
Lattice theory
8
Information theory
8
Language and logic
8
Proof theory
8
Uncertainty (Information theory)
7
Reasoning
6
Artificial intelligence Mathematical models
6
Computer simulation
6
Computers
6
Data mining
6
Electronic data processing
6
Machine theory
see all ...
less ...
Author
259
SpringerLink (Online service)
52
ScienceDirect (Online service)
15
Workshop on Logic, Language, Information and Computation
12
International Conference on Formal Concept Analysis
11
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
Gabbay, Dov M., 1945-
6
ICLA (Conference : Logic)
4
AISC (Conference)
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
Benthem, Johan van, 1949-
3
Béziau, Jean-Yves
3
Dalen, D. van 1932-
3
Ebbinghaus, Heinz-Dieter, 1939-
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
Mostowski, Andrzej
3
Nerode, Anil, 1932-
3
Rudolph, Sebastian (Computer scientist)
see all ...
less ...
Language
Genre
167
Conference papers and proceedings
16
Festschriften
6
Dictionaries
6
Software
2
Bibliographies
2
Congresses
more ...
2
Puzzles and games
2
Sayings
1
Biographies
1
Constitution
1
Formulae
1
Handbooks and manuals
1
Literature
1
Logic puzzles
1
Outlines and syllabi
1
Periodicals
1
Popular works
1
Textbooks
see all ...
less ...
Literary Form
Era
Region
Call Number
Year of Publication