Showing 1 - 10
of 10
for search: '',
query time: 0.07s
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
Genre: Conference papers and proceedings
Institution
Collection
Format
Subject
Logic
Logic, Symbolic and mathematical
4
Mathematics
3
Computer logic
2
Automatic theorem proving
2
Computer science
more ...
2
Game theory
1
Artificial intelligence
1
Computer programs
1
Computer science Mathematics
1
Computer systems
1
Electronic data processing
1
Formal languages
1
Formal methods (Computer science)
1
Lattice theory
1
Logique symbolique et mathématique
1
Mathematical analysis
1
Search theory
1
Software engineering
see all ...
less ...
Author
9
SpringerLink (Online service)
2
Workshop on Logic, Language, Information and Computation
1
Blazy, Sandrine,
1
Bonacina, Maria Paola
1
Bonanno, Giacomo
1
Coecke, Bob
more ...
1
Dawar, Anuj
1
Fontaine, Pascal (Professor of Computer Science),
1
FroCoS (Symposium)
1
FroCoS (Symposium) Nancy, France)
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
Kanger, S.,
1
Kohlenbach, U.
1
Kwuida, Leonard
1
Libkin, Leonid,
1
Lodaya, Kamal
1
Löwe, Benedikt
1
Ong, Luke
1
Panangaden, P.
1
Paulin-Mohring, Christine, 1962-
see all ...
less ...
Language
Literary Form
Era
Year of Publication