Showing 1 - 20
of 27
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Subject: Logic
Institution: Colorado Mesa University
Institution
Format
Subject
Logic
Logic, Symbolic and mathematical
10
Mathematics
7
Computer science
5
Electronic data processing
4
Artificial intelligence
more ...
4
Computer logic
3
Formal languages
3
Game theory
3
Philosophy
2
Automatic theorem proving
2
Formal methods (Computer science)
2
Logic design
2
Semantics
2
Uncertainty (Information theory)
1
Analysis (Philosophy)
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
Logique symbolique et mathématique
1
Mathematical analysis
1
Opposition, Theory of
1
Predicate (Logic)
1
Probabilities
see all ...
less ...
Author
13
SpringerLink (Online Service)
12
SpringerLink (Online service)
2
Workshop on Logic, Language, Information and Computation
1
Benthem, Johan van, 1949-
1
Blazy, Sandrine,
1
Bonacina, Maria Paola
more ...
1
Bonanno, Giacomo
1
Buchsbaum, Arthur,
1
Béziau, Jean-Yves
1
Béziau, Jean-Yves,
1
Coecke, Bob
1
Dawar, Anuj
1
Epstein, Richard L., 1947-
1
Ferguson, Thomas Macaulay,
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
Gupta, Amitabh, Ph. D.
1
Hansson, Sven Ove, 1951-
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)
see all ...
less ...
Language
Literary Form
Year of Publication