Showing 1 - 20
of 379
for search: '',
query time: 0.17s
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
60
Artificial intelligence
38
Software engineering
33
Computer logic
28
Formal languages
more ...
27
Mathematics
23
Computer science Mathematics
22
Logic
22
Mathematics Philosophy
19
Automatic theorem proving
17
Formal methods (Computer science)
17
Programming languages (Electronic computers)
17
Set theory
15
Algorithms
11
Computer programming
10
Database management
9
Computer software Verification
9
Lattice theory
8
Information theory
8
Language and logic
8
Uncertainty (Information theory)
7
Algebra
7
Electronic data processing
7
Proof theory
7
Reasoning
6
Artificial intelligence Mathematical models
6
Computable functions
6
Computer simulation
6
Computers
see all ...
less ...
Author
257
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