Showing 1 - 20
of 22
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
Format
Subject
Logic
Logic, Symbolic and mathematical
8
Mathematics
7
Computer science
5
Philosophy
4
Artificial intelligence
more ...
4
Computer logic
3
Electronic data processing
3
Formal languages
2
Automatic theorem proving
2
Formal methods (Computer science)
2
Game theory
2
Logic design
2
Semantics
2
Uncertainty (Information theory)
1
Algebraic functions
1
Algebraic logic
1
Analysis (Philosophy)
1
Categories (Philosophy)
1
Computer programs
1
Computer science Mathematics
1
Computer security
1
Computer systems
1
Data protection
1
Lattice theory
1
Linguistics Philosophy
1
Logic diagrams
1
Logique symbolique et mathématique
1
Mathematical analysis
1
Mathematics Philosophy
see all ...
less ...
Author
20
SpringerLink (Online service)
2
Workshop on Logic, Language, Information and Computation
1
Benis-Sinaceur, Hourya,
1
Blazy, Sandrine,
1
Bonacina, Maria Paola
1
Bonanno, Giacomo
more ...
1
Buchsbaum, Arthur,
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
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)
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
Jøsang, Audun,
1
Kanger, S.,
see all ...
less ...
Language
Literary Form
Year of Publication