Showing 1 - 20
of 21
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
Collection
Format
Subject
Logic
Logic, Symbolic and mathematical
9
Mathematics
6
Computer science
4
Artificial intelligence
4
Computer logic
more ...
4
Electronic data processing
3
Formal languages
2
Automatic theorem proving
2
Formal methods (Computer science)
2
Game theory
2
Uncertainty (Information theory)
1
Computer programs
1
Computer science Mathematics
1
Computer security
1
Computer systems
1
Data protection
1
Inference
1
Lattice theory
1
Linguistics Philosophy
1
Logic diagrams
1
Mathematical analysis
1
Opposition, Theory of
1
Probabilities
1
Reasoning
1
Search theory
1
Semantics
1
Software engineering
1
Visual reasoning
1
Visualization
see all ...
less ...
Author
12
SpringerLink (Online service)
9
SpringerLink (Online Service)
2
Workshop on Logic, Language, Information and Computation
1
Blazy, Sandrine,
1
Bonacina, Maria Paola
1
Bonanno, Giacomo
more ...
1
Buchsbaum, Arthur,
1
Béziau, Jean-Yves
1
Béziau, Jean-Yves,
1
Coecke, Bob
1
Dawar, Anuj
1
Fontaine, Pascal (Professor of Computer Science),
1
FroCoS (Symposium)
1
FroCoS (Symposium) Nancy, France)
1
Gabbay, Dov M., 1945-
1
Gerstein, Larry J.
1
Hoek, W. van der
1
ICLA (Conference : Logic)
1
ICLA (Conference : Logic) Chennai, India)
1
ITP (Conference)
1
ITP (Conference) Rennes, France)
1
International Conference on Automated Deduction
1
International Conference on Automated Deduction Lake Placid, N.Y.)
1
International Conference on Formal Concept Analysis
1
International Conference on Formal Concept Analysis Agadir, Morocco)
1
International Conference on Logic and the Foundations of Game and Decision Theory
1
International Conference on Logic and the Foundations of Game and Decision Theory Amsterdam, Netherlands)
1
Jacquette, Dale
1
Jøsang, Audun,
1
Kohlenbach, U.
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication